config.in

xenomai 很好的linux实时补丁

#
# Xenomai configuration for Linux v2.4
#

if [ "$CONFIG_XENO_OPT_PERVASIVE" = "y" ]; then
    dep_tristate 'User-space VM support' CONFIG_XENO_SKIN_UVM $CONFIG_XENO_OPT_NUCLEUS
fi