[kaffe] Newbie question
jim at kaffe.org
Wed Apr 17 08:10:26 PDT 2002
I just did some quick searches on the web, and I didn't turn up any
references to kaffe being ported to L4, although it does look like it has
been ported to kernels built on top of L4 (eg. Hurd, L4Linux). It sounds
like it would be an interesting project.
I'm not sure what the documentation says, but Kaffe has been ported to a lot
of different platforms now, so it shouldn't be too hard to port it to
If you, or somebody else does it, send us the patches, and if you've got a
website, I'll link to it.
----- Original Message -----
From: "Ronald Aigner" <ra3 at os.inf.tu-dresden.de>
To: <kaffe at kaffe.org>
Sent: Wednesday, April 17, 2002 12:08 AM
Subject: [kaffe] Newbie question
> I just found out that kaffe has been revived...
> At the Dresden University of Technology we are working on developing
> micro-kernel operation systems. The micro-kernel we use is L4 (developed
> by Jochen Liedtke).
> See http://os.inf.tu-dresden.de/ and http://os.inf.tu-dresden.de/L4/ for
> more information.
> I remember reading on some mailing list a long while ago, that there was
> some interest in porting kaffe to L4. I wondered if there exists a port
> to L4 and if so, where can I find it (if it is freely available) and if
> not, what do I have to do to port kaffe to a microkernel.
> I already found the Documentation on Porting kaffe to a new platform -
> does it contain the necessary steps to take?
> Thanx in advance for your help.
> Mit freundlichen Gruessen / with regards
> Ronald Aigner
> Systemarchitecture - Operating Systems
> TU Dresden
> kaffe mailing list
> kaffe at kaffe.org
More information about the kaffe