Re: How to write a Kernel

• To: jammi_dee@canada.com
• Subject: Re: How to write a Kernel
• From: Jay Lepreau <lepreau@cs.utah.edu>
• Date: Wed, 24 Feb 99 00:07:34 MST
• Cc: "A.Supreeth Reddy" <sup@svrec.ernet.in>, "oskit-users@fast.cs.utah.edu" <oskit-users@fast.cs.utah.edu>
• In-reply-to: "Joel M. Damaso"'s message of Wed, 24 Feb 99 08:05:29 +0800
• Sender: owner-oskit-users@fast.cs.utah.edu

Fluke is a microkernel and uses the OSKit.  There are others too,
like Michael Hohmuth's reimplemention of the L4 microkernel.
Our plan is to release the Fluke kernel source this week,
so you could look at that.  However, Fluke is rather more complex than
the OSKit, so I think you should stick with the examples while
you're learning.
=================================
To subscribe or unsubscribe, send mail with "subscribe" or "unsubscribe"
to oskit-users-request@flux.cs.utah.edu.  The oskit-announce list is low
volume - if you want to subscribe, mail oskit-announce-request@flux.cs.utah.edu

• Re: How to write a Kernel
• From: "A.Supreeth Reddy" <sup@svrec.ernet.in>

• Prev: Re: How to write a Kernel
• Next: Re: bootp problems using netboot kernel
• Index(es):
  • Main
  • Thread