8797a9cd1f
[Peter: fix rtai Config.in] Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk> |
||
---|---|---|
.. | ||
Config.ext.in | ||
Config.in | ||
linux-ext-rtai.mk | ||
linux-ext-xenomai.mk | ||
linux.mk |