l4ka.org
KIT - L4Ka Project
http://www.l4ka.org/english/index.php
July 19, 2010. L4 X2 Latest Reference Manual. January 11, 2008. The L4Ka team has switched to the Mercurial revision system. Snapshots of Pistachio available for download. June 17, 2007. Energy Management for . Paper appeared in USENIX'07. May 20, 2005. First release, includes support for Linux 2.6. November 19, 2004. Unmodidied Device Driver Reuse . Paper appeared in OSDI'04. The technology should help to manage ever-increasing OS complexity, enable stepwise innovations in OS technology while preserving...
l4ka.org
L4Ka - L4Ka Project
http://www.l4ka.org/index.php
October 20, 2011. The L4Ka team has switched to GitHub. October 13, 2011. L4 X2 Latest Reference Manual. June 31, 2011. A light-weight VMM for Blue Gene/P. Paper appeared at ROSS'11. January 11, 2008. The L4Ka team has switched to the Mercurial revision system. Snapshots of Pistachio available for download. June 17, 2007. Energy Management for . Paper appeared in USENIX'07. May 20, 2005. First release, includes support for Linux 2.6. November 19, 2004. Unmodidied Device Driver Reuse . The technology shou...
l4hq.org
L4HQ - Manuals
http://www.l4hq.org/docs/manuals
Home of the L4 community. API Reference Manuals for L4. SeL4, Rev. 1.2. X2, Rev. 6. N1, Rev. 2. X2, Rev. 5. X2, Rev. 4. X2, Rev. 3. X2, Rev. 2. 2/MIPS Rev. 79. Programming Manual for OKL4. Had released an extensive. Which was available from their web site. This does not replace the reference manual, but provides much more information on the use of the API. Unfortunately, that manual is no longer available. For historical reasons, we provide an earlier version. Relating to OKL4 2.0. User Manuals for L4.
l4hq.org
L4HQ - PowerPC64 Architecture
http://www.l4hq.org/arch/powerpc64
Home of the L4 community. 2002-2003 University of New South Wales. 2005 National ICT Australia. Page maintained by Carl van Schaik (cvansch@cse.unsw.edu.au). Kernel offers support (prototype) for the PowerPC64 architecture. See l4ka.org. For more information about L4Ka: Pistachio. The PowerPC64 port is released, but presently does not support SMP. SMP support will be added at a later stage. The PowerPC64 port currently runs on three platforms:. Apple G5 (PPC970) Desktop / Xserve. Booting the Xserve G5.
l4hq.org
L4HQ - Alpha Architecture
http://www.l4hq.org/arch/alpha
Home of the L4 community. 2002-2004 University of New South Wales. Page maintained by Adam Wiggins (awiggins@cse.unsw.edu.au). Kernel offers support for the Alpha architecture. See l4ka.org. For more information about L4Ka: Pistachio. The Alpha port has been tested on the following platforms:. A contribution to the L4 community from the UNSW.
jantar.org
I (It's Roman for “One”)
https://www.jantar.org/i
I (It's Roman for One ). The home page of the all-important, world-famous. Oh well, it was worth a try. So - again:. My Not-So-Personal Web Page. OK, so I was told that I'm not human unless I have a web page. I want to be human. Well, at least I'd like people to think that I am - so here's my 2 australian cents. Worth of information about myself. For the next few years, I was trapped in the confines of St Leo's College. First at the Operating, Embedded and Distributed Systems Group,. The three of us.
l4hq.org
L4HQ - SPARCv9 Architecture
http://www.l4hq.org/arch/sparc64
Home of the L4 community. 2002-2004 University of New South Wales. Page maintained by Philip Derrin (philipd@cse.unsw.edu.au). Kernel will soon offer support for the SPARCv9 architecture. See l4ka.org. For more information about L4Ka: Pistachio. The SPARCv9 port is currently under development and will be released as soon as we feel that it is ready. I have personal copies of the documents linked to below, so if they move or disappear, send me a request. SPARCv9 (64-bit SPARC) Architecture Manual.