Various L4-related questions...

[Farid Hajji]

> 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?

http://l4ka.org/projects/pistachio/ia64/

-- 
Farid Hajji. http://www.farid-hajji.net/address.html