For the moment the u-boot is released in binary format only.
Xenomai merged with RTAI some years ago. I think it is possible to apply RTAI to the UDOO kernel. It is a expensive procedure; the best thing to...
Separate names with a comma.