Further information may still be found on http://www.nongnu.org/thug/gnumach_hardware.html and could perhaps be incorporated into that page. --tschwinge