[okl4-developer] OKL4 on UltraSPARC

Tomas Hruby thruby at cs.otago.ac.nz
Thu Oct 2 19:13:46 EST 2008


> 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.



More information about the Developer mailing list