linux-mips
[Top] [All Lists]

L4 microkernel on MIPS R4x00 freely available in source form

To: linux@cthulhu.engr.sgi.com
Subject: L4 microkernel on MIPS R4x00 freely available in source form
From: Brendan Black <ratfink@xtra.co.nz>
Date: Thu, 19 Feb 1998 16:02:53 +1300
Organization: Acess Denied...
Sender: owner-linux@cthulhu.engr.sgi.com
I thought a few people might be interested in this, it is reported to
run on R4600 Indy
and some of you may know that Linux has been ported to the Intel version
of L4

see http://www.cse.unsw.edu.au/+AH4-disy/L4/ for the MIPS version info

and http://os.inf.tu-dresden.de/L4/ for the original L4 page

sorry to those of you who either think this is off, or object to
microkernels in general, but as the source code to this is available, I
thought it may be useful

regards
-- 
Brendan Black - Network Engineer, Telecom Internet Services
email:  ratfink@xtra.co.nz (personal)   phone: +-649 3555238
                                        mob:   +-6425 2752667
The word "spine" is, of course, an anagram of "penis".  This is true in
almost fifty percent of the languages of the Galaxy, and many people
have attempted to explain why.  Usually these explanations get bogged
down in silly puns about "standing erect".
                -- Douglas Adams, "The Hitchhiker's Guide to the Galaxy"

<Prev in Thread] Current Thread [Next in Thread>