buildrootschalter/package/xenomai
2012-10-16 09:54:11 +02:00
..
Config.in xenomai: disallow SMP option on !SMP ARM variants 2012-10-16 09:54:11 +02:00
xenomai-do-not-install-devices.patch
xenomai-thumb-fix.patch
xenomai.mk