I am try to build a xenomai kernel following this url
RCN Kernels with Xenomai patches added.
I use linaro 4.7 hf,and compile pass correctly.
I get the zImage and dtb modules file, and I copy it to a SD card with ubuntu 12.04 rootfs.
and boot form the sdcard. I got this error: