Re: Canonical system name for Hurd on top of l4

[Niels Möller]

Richard Stallman <address@hidden> writes:

> The kernel in this case is Hurd, so the canonical system name
> would be CPU_TYPE-MANUFACTURER-hurd-gnu.

I was under the impression that the preferred system name for Hurd
systems was just "CPU_TYPE-MANUFACTURER-gnu", but what you say makes
sense.

> If it is crucial to distinguish the microkernels, we could
> put them in too like this:
> 
>   CPU_TYPE-MANUFACTURER-hurd-l4-gnu.
> 
> or like this:
> 
>   CPU_TYPE-MANUFACTURER-hurd+l4-gnu.

Thanks.

Regards,
/Niels