Thomas Petazzoni c2c06aad27 xenomai: mention which kernel versions are supported ... Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Reviewed-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com> Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>		2012-01-07 20:44:07 +01:00
..
Config.ext.in	xenomai: mention which kernel versions are supported	2012-01-07 20:44:07 +01:00
Config.in
linux-ext-rtai.mk
linux-ext-xenomai.mk
linux.mk