On 05/17/2011 03:21 PM, Koenig, Florian wrote:
> Hi,
> in linux-2.6.36 menuconfig is in Real-time syste/nucleus/machine only "Enable
> unlocked context switch" to choose, no hw-fpu ?
>
>
>> You can set CONFIG_XENO_HW_FPU, it is located in the "Real-time
>> system"/"nucleus"/"Machine" menu.
I had a closer look:
Symbol: XENO_HW_FPU [=n]
Type : boolean
Prompt: Enable FPU support
Defined at arch/powerpc/xenomai/Kconfig:24
Depends on: XENO_OPT_NUCLEUS [=y] && PPC_FPU [=n]
Location:
-> Real-time sub-system
-> Nucleus (XENO_OPT_NUCLEUS [=y])
-> Machine
It depends on PPC_FPU and therefore the option is not selectable
for a system without FPU. I'm really surprised that it is on
for your 405GP board. Maybe your BSP is broken.
Wolfgang.
_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help
