Custom Buildroot based Linux system for Cyclone V SoC fails to work with OpenCL RTE: "Board name /dev/acl0 is not available"
As described in some other post here, I need a Linux System with up-to-date stdlibs for my OpenCL-Based application targeting a Terasic DE10-Standard board.
As the well working Linux image available from terasic does not fulfill my needs, I followed some instructions on Rocketboards.org to build a Linux for the SoC based on an up-to-date Linux kernel and compiler Toolchain. The system boots up and works as expected.
After that I followed the steps described in here and recompiled the kernel driver to use OpenCL. I had to do minor changes to the source code to be compatible with the latest kernel headers (changing struct siginfo_t to struct kernel_siginfo_t) but then all compiled successfully. I copied the rte folder with the compiled driver to the target and created an init_opencl.sh script. After successfully sourcing the script, I ran aocl diagnose. However, this fails with "Board name /dev/acl0 is not available".
What kind of misconfiguration could be the source of this error?