[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Canonical system name for Hurd on top of l4
From: |
Richard Stallman |
Subject: |
Re: Canonical system name for Hurd on top of l4 |
Date: |
Wed, 8 Nov 2000 04:03:12 -0700 (MST) |
The kernel in this case is Hurd, so the canonical system name
would be CPU_TYPE-MANUFACTURER-hurd-gnu.
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.