[okl4-developer] OKL4 on ia32

[Gabi Voiculescu]

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 <peter.nguyen at adelaide.edu.au> wrote:

From: Peter Nguyen <peter.nguyen at adelaide.edu.au>
Subject: Re: [okl4-developer] OKL4 on ia32
To: "Gabi Voiculescu" <boy3dfx2 at yahoo.com>
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 NguyenJacaranda 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 at adelaide.edu.au> wrote:

From: Peter Nguyen <peter.nguyen at adelaide.edu.au>
Subject: [okl4-developer] OKL4 on ia32
To: developer at okl4.org
Date: Tuesday, October 13, 2009, 7:16 AM

Hi all,

Is anyone able to help me with running an ia32 build of OKL4? Also, is  
anyone able to get it running off a USB stick?

Thanks
Peter N



_______________________________________________
Developer mailing list
Developer at okl4.org
https://lists.okl4.org/mailman/listinfo/developer

       



      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20091013/acd8e1aa/attachment.htm