A port of linux-sunxi with the Xenomai real time subsystem built in.