[Xenomai-help] xenomai x86 linux config file checker

[A User <t02446@domain.hid>]

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