Various L4-related questions...

[Jan Stoess]

Michael,

On Sun, 2003-11-16 at 13:13, Michael Engel wrote:
> 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?
I ported L4KA::Pistachio to the AMD64 architecture last spring. It runs
in 64-bit mode, and the port is actually finished. The reason why it has
not been released yet is my absence from the University, since I am
currently doing an internship. "Actually finished" means that I did not
run and test Pistachio/AMD64 on real hardware yet - I used SIMICS to
implement the stuff. I'll probably run and test it on an AMD64 box in
the near future, that is, after I have returned to Karlsruhe in January
2004.  

Regards,
-Jan
-- 
Jan Stoess <stoess[at]ira[dot]uka[dot]de>
X509-ID: DB18 8C89 C212 1CC2 EDD0 9C9F C65C C0B5