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: update stable kernel to version 3.2	2012-01-06 10:29:05 +01:00
linux-ext-rtai.mk	rtai: fix path to apply-patches	2011-09-20 22:18:32 +02:00
linux-ext-xenomai.mk
linux.mk	linux: add linux-update-config and linux-update-defconfig targets	2011-11-11 20:13:14 +01:00