Various L4-related questions...

[Michael Engel]

Hi,

it's quite some time since I last had a look at L4 and a lot
seems to have happened since then. As I'm planning to use a
L4-derived microkernel as basis for a research project here
at Marburg University, I have some questions for the experts...

The currently maintained L4-compatible microkernels seem to be
Fiasco (Dresden) and L4KA::Hazelnut/Pistachio (Karlsruhe). Is
there a document describing the differences/compatibility between
the various versions, probably comparing these implementations
to the original L4 kernel?

The platform for my project will probably be a AMD "Hammer"-based
system (e.g. Athlon 64 or Opteron). Is there already work underway
to run Fiasco or L4KA in 64-bit mode on the x86-64 CPUs? If not,
I'm thinking about starting an effort to port one of the kernels
(based on the x86-32 version). Which do you think would be most
appropriate?

Btw., the squirrel on the L4KA web pages is quite cute ;-) - is there a
high-res bitmap or vector graphics version of the logo available?

My last question concerns L4Linux. The most recent version seems
to be based on kernel 2.2.25. Are there any plans to adapt a
more recent Linux kernel version, like 2.4 or the upcoming 2.6,
as a L4 personality? (I'm aware that this might involve a lot of
work...)

Best regards,
    Michael
-- 
Dipl.-Ing. Michael Engel      - mengel at informatik.uni-marburg.de
Philipps-Universit=E4t Marburg  - FB Mathematik und Informatik
Hans-Meerwein-Str.            - 35032 Marburg
Tel. 06421 / 28 21562         - Fax: 06421 / 28 21573