Module: xenomai-head Branch: master Commit: bb0facb2625f403d5e302051f6aac59edda5c6cb URL: http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=bb0facb2625f403d5e302051f6aac59edda5c6cb
Author: Philippe Gerum <r...@xenomai.org> Date: Fri Jul 24 17:46:29 2009 +0200 build: update default config frags for 2.4 kernel series --- scripts/defconfig.frag | 75 +++++++++++++++++++++++++++++++++++------------ 1 files changed, 56 insertions(+), 19 deletions(-) diff --git a/scripts/defconfig.frag b/scripts/defconfig.frag index b317b54..6b064bd 100644 --- a/scripts/defconfig.frag +++ b/scripts/defconfig.frag @@ -3,7 +3,6 @@ # Interrupt pipeline # CONFIG_IPIPE=y -# CONFIG_IPIPE_STATS is not set # # Real-time sub-system @@ -15,16 +14,23 @@ CONFIG_XENO_OPT_NUCLEUS=y # Nucleus options # CONFIG_XENO_OPT_PERVASIVE=y +# CONFIG_XENO_OPT_PRIOCPL is not set CONFIG_XENO_OPT_PIPE=y CONFIG_XENO_OPT_PIPE_NRDEV=32 CONFIG_XENO_OPT_REGISTRY=y CONFIG_XENO_OPT_REGISTRY_NRSLOTS=512 CONFIG_XENO_OPT_SYS_HEAPSZ=128 +CONFIG_XENO_OPT_SYS_STACKPOOLSZ=128 +# CONFIG_XENO_OPT_PIPELINE_HEAD is not set +# CONFIG_XENO_OPT_SCHED_CLASSES is not set CONFIG_XENO_OPT_STATS=y +CONFIG_XENO_OPT_SEM_HEAPSZ=12 +CONFIG_XENO_OPT_GLOBAL_SEM_HEAPSZ=12 # CONFIG_XENO_OPT_DEBUG is not set -# CONFIG_XENO_OPT_WATCHDOG is not set +# CONFIG_XENO_OPT_SHIRQ is not set +# CONFIG_XENO_OPT_SELECT is not set # CONFIG_XENO_OPT_TIMING_PERIODIC is not set -CONFIG_XENO_OPT_TIMING_PERIOD=0 +CONFIG_XENO_OPT_TIMING_VIRTICK=1000 CONFIG_XENO_OPT_TIMING_TIMERLAT=0 CONFIG_XENO_OPT_TIMING_SCHEDLAT=0 @@ -34,14 +40,7 @@ CONFIG_XENO_OPT_TIMING_SCHEDLAT=0 # CONFIG_XENO_OPT_SCALABLE_SCHED is not set CONFIG_XENO_OPT_TIMER_LIST=y # CONFIG_XENO_OPT_TIMER_HEAP is not set - -# -# LTT tracepoints filtering -# -# CONFIG_XENO_OPT_FILTER_EVIRQ is not set -# CONFIG_XENO_OPT_FILTER_EVTHR is not set -# CONFIG_XENO_OPT_FILTER_EVSYS is not set -# CONFIG_XENO_OPT_FILTER_EVALL is not set +# CONFIG_XENO_OPT_TIMER_WHEEL is not set # # Interfaces @@ -51,6 +50,7 @@ CONFIG_XENO_SKIN_NATIVE=y # # Native interface options # +CONFIG_XENO_OPT_NATIVE_PERIOD=0 CONFIG_XENO_OPT_NATIVE_PIPE=y CONFIG_XENO_OPT_NATIVE_PIPE_BUFSZ=4096 CONFIG_XENO_OPT_NATIVE_SEM=y @@ -61,9 +61,33 @@ CONFIG_XENO_OPT_NATIVE_QUEUE=y CONFIG_XENO_OPT_NATIVE_HEAP=y CONFIG_XENO_OPT_NATIVE_ALARM=y CONFIG_XENO_OPT_NATIVE_MPS=y -CONFIG_XENO_OPT_NATIVE_INTR=n +# CONFIG_XENO_OPT_NATIVE_INTR is not set CONFIG_XENO_SKIN_POSIX=y + +# +# POSIX interface options +# +CONFIG_XENO_OPT_POSIX_PERIOD=0 +# CONFIG_XENO_OPT_POSIX_SHM is not set +# CONFIG_XENO_OPT_POSIX_INTR is not set + +# +# Note: Support for select is not available if the POSIX skin +# + +# +# is built-in and the RTDM skin is compiled as a module. +# +# CONFIG_XENO_OPT_DEBUG_POSIX is not set CONFIG_XENO_SKIN_RTDM=y + +# +# RTDM interface options +# +CONFIG_XENO_OPT_RTDM_PERIOD=0 +CONFIG_XENO_OPT_RTDM_FILDES=128 +# CONFIG_XENO_OPT_RTDM_SELECT is not set +# CONFIG_XENO_OPT_DEBUG_RTDM is not set # CONFIG_XENO_SKIN_PSOS is not set # CONFIG_XENO_SKIN_VXWORKS is not set # CONFIG_XENO_SKIN_VRTX is not set @@ -71,22 +95,35 @@ CONFIG_XENO_SKIN_RTDM=y # CONFIG_XENO_SKIN_RTAI is not set # -# Real-time drivers +# Drivers +# + +# +# Serial drivers # # CONFIG_XENO_DRIVERS_16550A is not set + +# +# Testing drivers +# CONFIG_XENO_DRIVERS_TIMERBENCH=y +# CONFIG_XENO_DRIVERS_IRQBENCH is not set +CONFIG_XENO_DRIVERS_SWITCHTEST=y +# CONFIG_XENO_DRIVERS_KLATENCY is not set # -# Machine +# CAN drivers # -CONFIG_XENO_HW_FPU=y +# CONFIG_XENO_DRIVERS_CAN is not set # -# NMI watchdog +# COMEDI drivers # -# CONFIG_XENO_HW_NMI_DEBUG_LATENCY is not set +# CONFIG_XENO_DRIVERS_COMEDI is not set +CONFIG_XENO_GENERIC_STACKPOOL=y +CONFIG_XENO_FASTSYNCH=y # -# SMI workaround +# Machine # -# CONFIG_XENO_HW_SMI_DETECT_DISABLE is not set +CONFIG_XENO_HW_FPU=y _______________________________________________ Xenomai-git mailing list Xenomai-git@gna.org https://mail.gna.org/listinfo/xenomai-git
