Philippe Proulx 5224cdcc14 linux: support multiple custom DTS files ... [Thomas: fix minor typo in help text.] Signed-off-by: Philippe Proulx <eeppeliteloop@gmail.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>		2014-07-28 22:35:12 +02:00
..
Config.ext.in
Config.in	linux: support multiple custom DTS files	2014-07-28 22:35:12 +02:00
linux-ext-rtai.mk
linux-ext-xenomai.mk
linux.mk	linux: support multiple custom DTS files	2014-07-28 22:35:12 +02:00