From mboxrd@z Thu Jan 1 00:00:00 1970 From: zimoun Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group Date: Sat, 15 Feb 2020 17:10:08 +0100 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:47248) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j301M-0000cO-W1 for guix-devel@gnu.org; Sat, 15 Feb 2020 11:10:21 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j301L-0002hA-Tv for guix-devel@gnu.org; Sat, 15 Feb 2020 11:10:20 -0500 Received: from mail-qt1-x82d.google.com ([2607:f8b0:4864:20::82d]:39229) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1j301L-0002fv-PB for guix-devel@gnu.org; Sat, 15 Feb 2020 11:10:19 -0500 Received: by mail-qt1-x82d.google.com with SMTP id c5so9115571qtj.6 for ; Sat, 15 Feb 2020 08:10:19 -0800 (PST) In-Reply-To: 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: "Orians, Jeremiah (DTMB)" Cc: "guix-devel@gnu.org" , "vic798@gmail.com" Dear, On Thu, 13 Feb 2020 at 13:07, Orians, Jeremiah (DTMB) wrote: > > > The term "nothing" is mitigated; i.e. "nothing" means: a booted system running a (linux) kernel. Right? > No, I mean bootstrapped from bare metal. > No Kernel > No firmware > No microcode > No Bios > Just individual TTL logic circuits > https://github.com/oriansj/stage0 Is it ready yet? This should be great. :-) All the best, simon