Linux works on Beaglebone (Rev.A6) with Xenomai.