[kaffe] Newbie question
ra3 at os.inf.tu-dresden.de
Wed Apr 17 00:08:51 PDT 2002
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
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
Systemarchitecture - Operating Systems
More information about the kaffe