I’m trying to run OpenCPI v2.4.8 on the Xilinx zcu104 development board and I’m running into a problem booting the board.
I’m following the instructions in OpenCPI Xilinx ZCU104 Getting Started Guide — OpenCPI assets and I’ve downloaded the prebuilt SD card artifacts but I’m not able to boot the board using the image.ub
I get the following error:
Bad FIT kernel image format! (err=-22)
ERROR: can’t get kernel image!
I can boot the board using the standard SD card image from Xilinx, but that kernel was built with a different set of headers so the OpenCPI kernel module fails to load.
I’ve tried downloading the release artifacts a few times and it’s always the same. Is there a hash of the artifacts available so I can check if it’s corrupted?
Has anyone else used these artifacts to successfully boot the zcu104 dev board? https://opencpi-public.s3.us-east-2.amazonaws.com/prebuilt/2024.1-zcu104-release.tar.xz
Thanks