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.thiba...@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
>