From mboxrd@z Thu Jan  1 00:00:00 1970
From: Philippe Gerum <rpm@xenomai.org>
In-Reply-To: <243955.44519.qm@domain.hid>
References: <243955.44519.qm@domain.hid>
Content-Type: text/plain; charset="UTF-8"
Date: Wed, 18 May 2011 23:29:08 +0200
Message-ID: <1305754148.2151.124.camel@domain.hid>
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: Re: [Xenomai-help] xenomai x86 linux config file checker
List-Id: Help regarding installation and common use of Xenomai
	<xenomai.xenomai.org>
List-Unsubscribe: <https://mail.gna.org/options/xenomai-help>,
	<mailto:xenomai-help-request@domain.hid>
List-Archive: </public/xenomai-help>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-help-request@domain.hid>
List-Subscribe: <https://mail.gna.org/listinfo/xenomai-help>,
	<mailto:xenomai-help-request@domain.hid>
To: A User <t02446@domain.hid>
Cc: xenomai@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.