bug-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Port Mach microkernel to x64


From: Samuel Thibault
Subject: Re: Port Mach microkernel to x64
Date: Mon, 4 Sep 2017 08:44:59 +0200
User-agent: NeoMutt/20170113 (1.7.2)

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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]