And by natively you do not mean in an x86 emulator window on a host x86 machine, right?
Otherwisehere are some pointers:
- you should probably start by getting okl4-2.1.0 (the original I know still has x86, dunno about the patched versions), and tracking down the old okl4 start webpage / go through the email archives.
- On the maling list, there was at least one guy called Jorge Torres who kept on having issues/emails related to the x86 platform, if it helps.
- Another starting point might be this ? http://lists.okl4.org/pipermail/developer/2008-October/001834.html
- Of course, once you have okl4 support, you could go ahead and get qemu for x86, go into the okl4 base folder then issue/try to build the linux example:
tools/build.py machine=ia32_pc99 example=iguana wombat=True simulate
I unfortunately never worked on x86 with okl4, so I can't help you much more, but feel free to ask more questions.
Good luck, Gabi Voiculescu
--- On Tue, 10/13/09, Peter Nguyen <[hidden email]> wrote:
From: Peter Nguyen <[hidden email]> Subject: Re: [okl4-developer] OKL4 on ia32 To: "Gabi Voiculescu" <[hidden email]> Date: Tuesday, October 13, 2009, 2:38 PM
Gabi,
I'm more after some instructions on the steps that need to be taken in running L4 natively on ia32. ----------------------------------------------------- Peter Nguyen Jacaranda Research Group
On 13/10/2009, at 8:16 PM, Gabi Voiculescu wrote: How come this is a problem?
I thought there was still support for x86 in okl4. Maybe not in 3.0 but in some of the previous releases include
it.
As I currently think, the changes in okl4 3.0 mainly impact the generic pistachio code, not significantly the arch/plat specific.
Cheers, Gabi Voiculescu
--- On Tue, 10/13/09, Peter Nguyen <peter.nguyen@...> wrote:
From: Peter Nguyen <peter.nguyen@...> Subject: [okl4-developer] OKL4 on ia32 To: developer@... Date: Tuesday, October 13, 2009, 7:16 AM
|
|