Thomas Petazzoni b4837455d5 linux: use kmod instead of module-init-tools ... Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>		2013-09-02 22:59:27 +02:00
..
Config.ext.in
Config.in	linux: bump 3.10.x stable version	2013-08-29 23:59:33 +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