+13
−0
linux/linux-ext-rtai.mk
0 → 100644
+47
−0
+1
−0
package/rtai/Config.in
0 → 100644
+7
−0
package/rtai/rtai.mk
0 → 100644
+15
−0
Loading
[Peter: fix rtai Config.in] Signed-off-by:Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Signed-off-by:
Peter Korsgaard <jacmet@sunsite.dk>