My independent fork of MINIX3, to make it AMD64T and RaspberryPi - friendly.