Gustavo Zacarias dfb0fe4879 linux: switch to 3.11.x series ... Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar> Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>		2013-09-04 00:24:22 +02:00
..
Config.ext.in	xenomai: requires thread support	2013-07-19 00:32:51 +02:00
Config.in	linux: switch to 3.11.x series	2013-09-04 00:24:22 +02:00
linux-ext-rtai.mk
linux-ext-xenomai.mk
linux.mk	linux: use kmod instead of module-init-tools	2013-09-02 22:59:27 +02:00