Re: [Xenomai-help] Compiling Linux+Xenomai 32bits kernel on FC6 x86_64?

[Matthias Fechner <idefix@domain.hid>]

Hi Eric,

Eric Noulard schrieb:
> So here is my question:
> 
> Is it possible to run/boot a 32bit xenomai on a 64 bit system
> or should I really need to install a 32bit only system on my 64 bit
> machine?
> If yes how to do this properly?
> If no
>   - is there a planned support for 64bit in xenomai/adeos?
>   - what should I do to use Xenomai on my 64 bit machine?

I had exactly the same problem and I installed a second 32-bit Linux on
my harddisk and easily linked some dirs from my old 64-bit installation
to save space (e.g. /usr/src, /usr/local).

That worked great.

But the best is a Xenomai which supports 64-bit AMD processors :)

Bye
Matthias

-- 

"Programming today is a race between software engineers striving to
build bigger and better idiot-proof programs, and the universe trying to
produce bigger and better idiots. So far, the universe is winning." --
Rich Cook