Hello, Jonathan Kash, on sam. 02 sept. 2017 17:16:30 +0100, wrote: > Hello, my name is Jonathan Kashongwe, I’m a student in computer science at > Université de Kinshasa, DR Congo. > I would like to port the Mach microkernel to x64 architectures
Well, it is already ported to x64 :) (see master-x86_64 and port-amd64 branches) What is missing is either a 64bit userland (very involved), or 64-32 conversion for Mach RPCs (complex). See list archives about that. Samuel
