diff --git a/package/Config.in b/package/Config.in index e1dfd5d4fa..1dd60d199c 100644 --- a/package/Config.in +++ b/package/Config.in @@ -910,8 +910,8 @@ endif endmenu menu "Real-Time" -source "package/xenomai/Config.in" source "package/rtai/Config.in" +source "package/xenomai/Config.in" endmenu menu "Shell and utilities"