From mboxrd@z Thu Jan  1 00:00:00 1970
From: Svante Signell <svante.signell@gmail.com>
Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group
Date: Wed, 12 Feb 2020 15:38:27 +0100
Message-ID: <46c59db847cdeb378d712af99dfe0940a583f68e.camel@gmail.com>
References: <DM6PR09MB5957FF5E863F47FF0418C602C61B0@DM6PR09MB5957.namprd09.prod.outlook.com>
 <CAJ3okZ1jQ_GDCwtfvCY1B+OeSmiAZJoe7ifxp4xjasp5bJ6nHA@mail.gmail.com>
Reply-To: svante.signell@gmail.com
Mime-Version: 1.0
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: 7bit
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:48039)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <svante.signell@gmail.com>) id 1j1t8Z-0007nG-A7
 for guix-devel@gnu.org; Wed, 12 Feb 2020 09:37:12 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <svante.signell@gmail.com>) id 1j1t8Y-0004vc-C8
 for guix-devel@gnu.org; Wed, 12 Feb 2020 09:37:11 -0500
Received: from mail-lj1-x232.google.com ([2a00:1450:4864:20::232]:46490)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <svante.signell@gmail.com>)
 id 1j1t8Y-0004ug-4e
 for guix-devel@gnu.org; Wed, 12 Feb 2020 09:37:10 -0500
Received: by mail-lj1-x232.google.com with SMTP id x14so2548437ljd.13
 for <guix-devel@gnu.org>; Wed, 12 Feb 2020 06:37:10 -0800 (PST)
In-Reply-To: <CAJ3okZ1jQ_GDCwtfvCY1B+OeSmiAZJoe7ifxp4xjasp5bJ6nHA@mail.gmail.com>
List-Id: "Development of GNU Guix and the GNU System distribution."
 <guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org
Sender: "Guix-devel"
 <guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org>
To: guix-devel@gnu.org

On Wed, 2020-02-12 at 15:16 +0100, zimoun wrote:
> Dear,
> 
> On Wed, 12 Feb 2020 at 13:03, Orians, Jeremiah (DTMB)
> <OriansJ@michigan.gov> wrote:
> 
> > We also have a scheme bootstrappable from nothing written in C
> > https://github.com/oriansj/mes-m2
> > https://github.com/oriansj/mescc-tools-seed
> 
> 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? Or are
the old bootstrap binaries still needed (when non-corrupt)?