[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Proposal] The Formal Methods in GNU Guix Working Group

From: Jan Nieuwenhuizen
Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group
Date: Wed, 12 Feb 2020 15:48:46 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)

Svante Signell writes:

> On Wed, 2020-02-12 at 15:16 +0100, zimoun wrote:
>> Dear,
>> On Wed, 12 Feb 2020 at 13:03, Orians, Jeremiah (DTMB)
>> <address@hidden> wrote:
>> > We also have a scheme bootstrappable from nothing written in C
>> >
>> >
>> The term "nothing" is mitigated; i.e. "nothing" means: a booted system
>> running a (linux) kernel. Right?
> I do also suspect that mes* is only for Linux so far. Any plans for Hurd?

Your suspicion is somewhat correct.  GNU Mes v0.22 added initial support
for the Hurd, and introduced a FreeBSD scaffold.  Support for the Hurd
has always been the plan, see the Guix ROADMAP or the manual


Jan Nieuwenhuizen <address@hidden> | GNU LilyPond
Freelance IT | AvatarĀ®

reply via email to

[Prev in Thread] Current Thread [Next in Thread]