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
> [email protected]
> https://mail.gna.org/listinfo/xenomai-help
--
Philippe.
_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help
