From mboxrd@z Thu Jan 1 00:00:00 1970 From: Jan Nieuwenhuizen Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group Date: Wed, 12 Feb 2020 15:48:46 +0100 Message-ID: <87tv3vj1yp.fsf@gnu.org> References: <46c59db847cdeb378d712af99dfe0940a583f68e.camel@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:49568) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j1tJq-0002z3-Gw for guix-devel@gnu.org; Wed, 12 Feb 2020 09:48:52 -0500 In-Reply-To: <46c59db847cdeb378d712af99dfe0940a583f68e.camel@gmail.com> (Svante Signell's message of "Wed, 12 Feb 2020 15:38:27 +0100") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org Sender: "Guix-devel" To: Svante Signell Cc: guix-devel@gnu.org Svante Signell writes: > On Wed, 2020-02-12 at 15:16 +0100, zimoun wrote: >> Dear, >>=20 >> On Wed, 12 Feb 2020 at 13:03, Orians, Jeremiah (DTMB) >> wrote: >>=20 >> > We also have a scheme bootstrappable from nothing written in C >> > https://github.com/oriansj/mes-m2 >> > https://github.com/oriansj/mescc-tools-seed >>=20 >> 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 (https://guix.gnu.org/manual/en/html_node/operating_002dsystem-Reference.ht= ml#FOOT23). Greetings, janneke --=20 Jan Nieuwenhuizen | GNU LilyPond http://lilypond.org Freelance IT http://JoyofSource.com | Avatar=C2=AE http://AvatarAcademy.com