On 13 February 2012 10:57, Alex Shinn <alexshinn@gmai...> wrote:
> On Mon, Feb 13, 2012 at 8:46 AM, Ludovic Courtès <ludo@gnu....> wrote:
>> Alex Shinn <alexshinn@gmai...> skribis:
>>> There is no "gnu" feature proposed in R7RS,
>> That would be for GNU, aka. GNU/Hurd.
> Wouldn't the feature be better named "hurd" then?
> How can a system be both Hurd and Linux?
A GNU configuration option would seem to me to specify that any
feature that 'all GNU systems' support must be available; regardless
of which kernel it is running on.