Re: [Xenomai-help] xenomai x86 linux config file checker

[Philippe Gerum <rpm@xenomai.org>]

On Tue, 2011-05-17 at 13:25 -0700, A User wrote:
> I see that there is advice for setting up a Xenomai Linux config in
> various places:
> 
> http://www.xenomai.org/index.php/FAQs#Tips_and_tricks_setting_up_your_x86_kernel
> http://www.xenomai.org/index.php/Configuring_x86_kernels
> 
> I think it is messy to check the options, so I wrote a shell script
> "xeno_x86_check_config" to make it easier.  I wrote it for x86, it may be useful to make it more general.  It checks the options that
> I think are important, and lists them.  I may have some of the choices
> wrong, but experts can correct them or modify the script as
> requirements change.  You may find it useful to add this script to the
> Xenomai package.

Makes a lot of sense. It is a simple and nice way to keep the valuable
config tweaks and other black magic stuff in a single place on a
per-arch basis. And this could be extended to other archs having config
pecularities with Xenomai. Ok, I'll pick this script in my queue.
Thanks.

> 
> -Andy
> 
> <<<<<
> #! /bin/sh
> 
> # check Linux kernel config file for x86 Xenomai conditions
> # xeno_x86_check_config
> # Copyright 2011 Andy Tannenbaum
> 
> if [ -z "$1"  -o ! -f "$1" ]; then
>       echo usage: xeno_x86_check_config configfile
>       exit 1
> fi
> 
> # find iff set
> 
> echo cpu type:
> 
> for i in \
> \
> CONFIG_M386 \
> CONFIG_M486 \
> CONFIG_M586 \
> CONFIG_M586TSC \
> CONFIG_M586MMX \
> CONFIG_M686 \
> CONFIG_MPENTIUMII \
> CONFIG_MPENTIUMIII \
> CONFIG_MPENTIUMM \
> CONFIG_MPENTIUM4 \
> CONFIG_MK6 \
> CONFIG_MK7 \
> CONFIG_MK8 \
> CONFIG_MCRUSOE \
> CONFIG_MEFFICEON \
> CONFIG_MWINCHIPC6 \
> CONFIG_MWINCHIP3D \
> CONFIG_MGEODEGX1 \
> CONFIG_MGEODE_LX \
> CONFIG_MCYRIXIII \
> CONFIG_MVIAC3_2 \
> CONFIG_MVIAC7 \
> CONFIG_MPSC \
> CONFIG_MCORE2 \
> CONFIG_MATOM \
> CONFIG_GENERIC_CPU \
> CONFIG_X86_GENERIC \
> CONFIG_X86_CPU \
> 
> do
> 
> grep -w ${i}=y $1
> 
> done
> echo
> 
> # find whether set
> 
> echo want these set if possible:
> 
> for i in \
> \
> CONFIG_XENO_HW_SMI_WORKAROUND \
> CONFIG_XENO_OPT_PERVASIVE \
> 
> do
> 
> grep -w $i $1 || echo $i not found in $1
> 
> done
> echo
> 
> # find whether set
> 
> echo want these not set:
> 
> for i in \
> \
> CONFIG_CPU_FREQ \
> CONFIG_APM \
> CONFIG_ACPI_PROCESSOR \
> CONFIG_PCI_MSI \
> CONFIG_INTEL_IDLE \
> 
> do
> 
> grep -w $i $1 || echo $i not found in $1
> 
> done
> echo
> 
> # find whether set
> 
> echo want these not set if pre-Pentium:
> 
> for i in \
> \
> CONFIG_INPUT_PCSPKR \
> CONFIG_X86_TSC \
> 
> do
> 
> grep -w $i $1 || echo $i not found in $1
> 
> done
> echo
> 
> # find whether set
> 
> echo want IPIPE, and either set X86_LOCAL_APIC or not set HPET_TIMER:
> 
> for i in \
> \
> CONFIG_X86_LOCAL_APIC \
> CONFIG_HPET_TIMER \
> CONFIG_IPIPE \
> 
> do
> 
> grep -w $i $1 || echo $i not found in $1
> 
> done
> echo
> 
> echo Xenomai options:
> grep CONFIG_XENO $1
> echo
> 
> echo Preempt options:
> grep PREEMPT $1
> >>>>>
> 
> _______________________________________________
> Xenomai-help mailing list
> Xenomai-help@domain.hid
> https://mail.gna.org/listinfo/xenomai-help

-- 
Philippe.