Forgive me my ignorance, but wasn't the kernel the Hurd, while gnumach, oskit-mach, L4 are just microkernels underneath? I'd have expected i386-pc-hurd-gnu with no place currently to put the l4/gnumach variant of the Hurd.
It depends on how picky you want to be with the definition of a kernel. The Hurd replaces what traditionally was done in kernel space on *nix, so in that sense it might be called a kernel. But if you define a kernel as something that runs in kernel space, then it is not a kernel. In short it is a little of both. :) _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
