config.in

xenomai 很好的linux实时补丁

mainmenu_option next_comment
comment 'Real-time sub-system'

bool 'Xenomai' CONFIG_XENOMAI

source kernel/xenomai/Config.in

if [ "$CONFIG_XENOMAI" = "y" -a "$CONFIG_XENO_OPT_NUCLEUS" != "n" ]; then
	mainmenu_option next_comment
	comment 'Machine'
	bool 'Enable FPU support' CONFIG_XENO_HW_FPU
	endmenu
fi

endmenu