[okl4-developer] OKL4 on UltraSPARC

[Tim Heath]

Great work mate. Thanks for sharing with the Community. 

Cheers

Tim Heath
Open Kernel Labs
312 924-1073


-----Original Message-----
From: developer-bounces at okl4.org [mailto:developer-bounces at okl4.org] On
Behalf Of Tomas Hruby
Sent: Thursday, October 02, 2008 4:14 AM
To: zhiyi huang
Cc: OKL4-devel; jakub.jermar at sun.com; research at world45.com
Subject: Re: [okl4-developer] OKL4 on UltraSPARC

> By the way, the patched microkernel should be found at the wiki page:
http://wiki.ok-labs.com/

You can download the sparc64 sourcefiles at http://wiki.ok-labs.com/GetKnown
You can also download a precompiled gcc x86->sparc64 cross-compiler.

Cheers, T.

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