[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