RK3399Pro入门教程（12）OpenGL/CL在Debian10上的安装和使用

你好~我目前在使用rk3588的板子，已经装好了clinfo，输出信息为（并未报错）：
clGetPlatformInfo(NULL, CL_PLATFORM_NAME, ...)  ARM Platform
  clGetDeviceIDs(NULL, CL_DEVICE_TYPE_ALL, ...)   Success [ARM]
  clCreateContext(NULL, ...) [default]            Success [ARM]
  clCreateContextFromType(NULL, CL_DEVICE_TYPE_DEFAULT)  Success (1)
    Platform Name                                 ARM Platform
    Device Name                                   Mali-LODX r0p0
  clCreateContextFromType(NULL, CL_DEVICE_TYPE_CPU)  No devices found in platform
  clCreateContextFromType(NULL, CL_DEVICE_TYPE_GPU)  Success (1)
    Platform Name                                 ARM Platform
    Device Name                                   Mali-LODX r0p0
  clCreateContextFromType(NULL, CL_DEVICE_TYPE_ACCELERATOR)  No devices found in platform
  clCreateContextFromType(NULL, CL_DEVICE_TYPE_CUSTOM)  No devices found in platform
  clCreateContextFromType(NULL, CL_DEVICE_TYPE_ALL)  Success (1)
    Platform Name                                 ARM Platform
    Device Name                                   Mali-LODX r0p0
首先第一个问题是：查询到的设备名称是Mali-LODX r0p0，应该是mali-g610吧，我不知道哪里出了问题；
第二个问题是：使用ll /usr/lib/aarch64-linux-gnu/libOpenCL.so*之后，输出信息为：
lrwxrwxrwx 1 root root    18  1月 11  2021 /usr/lib/aarch64-linux-gnu/libOpenCL.so.1 -> libOpenCL.so.1.0.0
-rw-r--r-- 1 root root 60856  1月 11  2021 /usr/lib/aarch64-linux-gnu/libOpenCL.so.1.0.0
并未链接到
libmali-valhall-g610-g6p0-x11.so
因为3399提供了类似toybrick-mali.sh这样的文件，我不知道是不是需要执行这个脚本最后才会链接到mali的gpu