From 8797a9cd1fe6723db34b0c125d0d9d04e3483e8d Mon Sep 17 00:00:00 2001
From: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Date: Sat, 17 Sep 2011 22:22:58 +0200
Subject: 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>
---
 package/Config.in | 1 +
 1 file changed, 1 insertion(+)

(limited to 'package/Config.in')

diff --git a/package/Config.in b/package/Config.in
index efb266a5e..451b271f8 100644
--- a/package/Config.in
+++ b/package/Config.in
@@ -489,6 +489,7 @@ endmenu
 
 menu "Real-Time"
 source "package/xenomai/Config.in"
+source "package/rtai/Config.in"
 endmenu
 
 menu "Shell and utilities"
-- 
cgit v1.2.3