Re: Reporting the Microkernel in the GNU triple?

[Alfred M. Szmidt]

   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. :)