[Xenomai-help] xenomai x86 linux config file checker

[Xenomai-help] xenomai x86 linux config file checker

[A User]

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.

-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
>>>>>

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

[Philippe Gerum]

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.