Re: Port Mach microkernel to x64

[Jonathan Kash]

Thanks for your reply, you save my day!

2017-09-04 7:44 GMT+01:00 Samuel Thibault <samuel.thibault@gnu.org>:

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