Re: Canonical system name for Hurd on top of l4

[Miles Bader]

Richard Stallman <address@hidden> writes:
> If it is crucial to distinguish the microkernels, we could
> put them in too like this:
> 
>   CPU_TYPE-MANUFACTURER-hurd-l4-gnu.

If this syntax is used, I think it makes more sense to put the
microkernel _before_ `hurd', since it's more specific, like:

    CPU_TYPE-MANUFACTURER-l4-hurd-gnu.

Also this allows one to match against `*-hurd-gnu', which seems more
natural than requiring people to remember to say `*-hurd*-gnu'.

-Miles