Add support for the RTAI real-time extension
authorThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Sat, 17 Sep 2011 20:22:58 +0000 (22:22 +0200)
committerPeter Korsgaard <jacmet@sunsite.dk>
Sun, 18 Sep 2011 21:00:07 +0000 (23:00 +0200)
commit8797a9cd1fe6723db34b0c125d0d9d04e3483e8d
treeb85dbf581c7d1a8adda8047971c6b2ee7c6c8873
parenta473a616d27e46951a23d90249a31b08006098bf
Add support for the RTAI real-time extension

[Peter: fix rtai Config.in]
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
linux/Config.ext.in
linux/linux-ext-rtai.mk [new file with mode: 0644]
package/Config.in
package/rtai/Config.in [new file with mode: 0644]
package/rtai/rtai.mk [new file with mode: 0644]