Installing OpenCL RTE on Cyclone V board

Hi christnp!

You were correct, it was an issue of not having the 32bits libraries...

I solved it by:

sudo apt-get install lib32z1 lib32ncurses5
sudo dpkg --add-architecture i386
sudo apt-get update
sudo apt-get install libX11-6:i386 libext6:i386 libxft2:i386 libstdc++6:i386

It may be worth nothing that after that we need to configure/prepare the kernel. We need to make sure the cross-compiling env variables are set for this too:

export ARCH=arm
export CROSS_COMPILE=arm-linux-gnueabihf-
cd linux-socfpga
make oldconfig && make prepare
#  Here make will ask a bunch of questions, for which I am leaving everything as default.
#  Perhaps here lies my issue...

After this I go up one folder and try to compile the driver but I get stuck with the following error:

/c5soc/driver/aclsoc.c: In function ‘free_map_info’:
c5soc/driver/aclsoc.c:364:5: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 3 has type ‘dma_addr_t’ 
     ACL_DEBUG (KERN_DEBUG "free_map_info on vaddr %p, dma 0x%x\n", info->cpu_addr, info->dma_handle);
     ^
cc1: some warnings being treated as errors
scripts/Makefile.build:290: recipe for target '/c5soc/driver/aclsoc.o' failed
make: ***  Error 1
Makefile:1482: recipe for target '_module_/c5soc/driver' failed
make: ***  Error 2

I am also multiplexing/distracted with other things but post here if you have any further suggestions. Many thanks indeed :)!