Peter Korsgaard 3dfd5f4040 xenomai: disallow SMP option on !SMP ARM variants ... Fixes http://autobuild.buildroot.net/results/51bf35ed7a6224db7cdb157af4d030a787ef9159 Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>		2012-10-16 09:54:11 +02:00
..
Config.in
xenomai-do-not-install-devices.patch
xenomai-thumb-fix.patch
xenomai.mk