Thomas Petazzoni 8797a9cd1f Add support for the RTAI real-time extension ... [Peter: fix rtai Config.in] Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>		2011-09-18 23:00:07 +02:00
..
Config.ext.in	Add support for the RTAI real-time extension	2011-09-18 23:00:07 +02:00
Config.in	…
linux-ext-rtai.mk	Add support for the RTAI real-time extension	2011-09-18 23:00:07 +02:00
linux-ext-xenomai.mk	…
linux.mk	…