Is gnumach/Mach 4 the microkernel Hurd will stay with, or is there an
official direction for something different? (like OSkit-mach,
OSkit-SomethingElse, mach 3, etc.). In other words, which microkernels
should we be studying? Which microkernels would make hurd
implementation easier? I see bits and pieces here and there pointing
different places.
Is there a paper/page somewhere which describes the short comings of the
Mach 4 and/or Mach 3 code which make it difficult/impossible to achieve
Hurd goals?
The papers I've read claim Hurd to be "aggressively multithreaded". How
true is this? How safe are its operations for an SMP environment? Where is
Hurd SMP currently broken: the microkernel, devices handling, Hurd
kernels/translators, libc, etc.?
Are there any more specific Hurd goals/ideals/direction/standards papers
floating about (ie. something which isn't a total pipe dream, and isn't
200 pages of API specs)? If not, is it useful for someone to take a stab
at creating some and generating some serious discussion around them?
Thanks,
-- jim
