Sven Neumann c6932d2148 linux: update stable kernel to 3.1.3 ... Signed-off-by: Sven Neumann <s.neumann@raumfeld.com> Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>		2011-11-27 22:41:29 +01:00
..
Config.ext.in	Add support for the RTAI real-time extension	2011-09-18 23:00:07 +02:00
Config.in	linux: update stable kernel to 3.1.3	2011-11-27 22:41:29 +01:00
linux-ext-rtai.mk	rtai: fix path to apply-patches	2011-09-20 22:18:32 +02:00
linux-ext-xenomai.mk	rtai, xenomai: use the pre patch hook point	2011-09-20 22:18:16 +02:00
linux.mk	linux: add linux-update-config and linux-update-defconfig targets	2011-11-11 20:13:14 +01:00