Various L4-related questions...

Farid Hajji farid.hajji at
Mon Nov 17 00:36:38 CET 2003

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

Farid Hajji.

More information about the l4-hackers mailing list