Port Mach microkernel to x64

[Jonathan Kash]

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