Hello Christian, I add the BSP section to the user manual today. Unfortunately, I was not able to commit it. I tested also the latest RTEMS on the Cyclone V SoC Development Kit and it worked fine. Does it now run on your board? The device tree is normally provided by the U-Boot.