I have come across this link TBR/BSP/QorIQ – RTEMS Project TBR/BSP/QorIQ – RTEMS Project, which states that the P2020 is a supported and tested board, but I am not sure of the differences between the P2041 and the P2020 which leads me to be unsure of if the P2041 could run RTEMS. Any help would be appreciated thanks!