Supports Raspberry Pi if anyone wants to try it out. https://docs.rtems.org/branches/master/user/bsps/bsps-arm.html#raspberrypi https://docs.rtems.org/branches

Supports Raspberry Pi if anyone wants to try it out. https://docs.rtems.org/branches/master/user/bsps/bsps-arm.html#raspberrypi https://docs.rtems.org/branches/master/user/bsps/bsps-arm.ht... > The ‘raspberrypi’ BSP supports the single core models (Zero, Zero W, A+, B+), and the ‘raspberrypi2’ BSP supports the Raspberry Pi 2, Raspberry Pi 3 A+, and Raspberry Pi 3. The Raspberry Pi 4 is not supported currently. The default bootloader on the Raspberry Pi which is used to boot Raspbian or other OS can be also used to boot RTEMS. U-boot can also be used.