|Subject:||Re: Port Mach microkernel to x64|
|Date:||Mon, 4 Sep 2017 17:35:03 +0100|
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
What is missing is either a 64bit userland (very involved), or 64-32
conversion for Mach RPCs (complex). See list archives about that.
|[Prev in Thread]||Current Thread||[Next in Thread]|