From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id PZsMAHqQCGDlFgAA0tVLHw (envelope-from ) for ; Wed, 20 Jan 2021 20:20:10 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id WDv+NnmQCGDzDwAAB5/wlQ (envelope-from ) for ; Wed, 20 Jan 2021 20:20:09 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 925D5940415 for ; Wed, 20 Jan 2021 20:20:08 +0000 (UTC) Received: from localhost ([::1]:46910 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1l2JxX-0004u1-9w for larch@yhetil.org; Wed, 20 Jan 2021 15:20:07 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:56962) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l2JxM-0004sq-5q for guix-devel@gnu.org; Wed, 20 Jan 2021 15:19:56 -0500 Received: from out4-smtp.messagingengine.com ([66.111.4.28]:45465) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l2JxK-0002z5-8D; Wed, 20 Jan 2021 15:19:55 -0500 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.nyi.internal (Postfix) with ESMTP id 647495C023F; Wed, 20 Jan 2021 15:19:51 -0500 (EST) Received: from mailfrontend2 ([10.202.2.163]) by compute1.internal (MEProxy); Wed, 20 Jan 2021 15:19:51 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm1; bh=DcBpAPNQOSqqdNMpUijHzJePp9UwXhWp+0KsUO3w5 EI=; b=QPW2rVxW5axreiNRzaSw6rbM1g8rATqUy87tFRWEPs6Bht8bsJtI8J/W7 M2n5bWHgSVZpNfmg1N7sUTmM/UuHch/PGAAnVymlJjRFhC+wDKC2bZZIn+DATOUF 9qWq42e/Kg6FqA3nKnW9Vmz3k4FpSd/98RJhsy6uowaqytEjHv4SfDGHFUE2GBnt vVrFg7Kjpadp+lbeiyLniC2PeRoHe5ixbRvNIZcnEV5JvroLkU45PAW2DS6UrQNI LSJd9c/sRQvOdmLhpcZ35ShWe6eskRJNZNA9mnvuhlGOpyU/Ocj/cKbJvluUczVp UrPcuZ+zIDHyuFKPP9GuUWD4jLWpw== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduledruddvgddufeekucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpefhvffufhffjgfkfgggtgfgsehtqh ertddtreejnecuhfhrohhmpefvihhmohhthhihucfurghmphhlvgcuoehsrghmphhlvght sehnghihrhhordgtohhmqeenucggtffrrghtthgvrhhnpedvleevhfehgeduveejvdeftd evieelffevheevjeeggfetteetjeetledtfeeuveenucffohhmrghinhepghhnuhdrohhr ghenucfkphepjeegrdduudeirddukeeirdeggeenucevlhhushhtvghrufhiiigvpedtne curfgrrhgrmhepmhgrihhlfhhrohhmpehsrghmphhlvghtsehnghihrhhordgtohhm X-ME-Proxy: Received: from mrblack (74-116-186-44.qc.dsl.ebox.net [74.116.186.44]) by mail.messagingengine.com (Postfix) with ESMTPA id BF562108005C; Wed, 20 Jan 2021 15:19:50 -0500 (EST) From: Timothy Sample To: Jan Nieuwenhuizen Subject: Re: wip-full-source-bootstrap: from a 357-byte `hex0' to 'hello' References: <87im8cvdpa.fsf@gnu.org> Date: Wed, 20 Jan 2021 15:19:49 -0500 In-Reply-To: <87im8cvdpa.fsf@gnu.org> (Jan Nieuwenhuizen's message of "Mon, 04 Jan 2021 18:01:21 +0100") Message-ID: <87v9brbbtm.fsf@ngyro.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=66.111.4.28; envelope-from=samplet@ngyro.com; helo=out4-smtp.messagingengine.com X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org, bootstrappable@freelists.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -1.05 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=messagingengine.com header.s=fm1 header.b=QPW2rVxW; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Queue-Id: 925D5940415 X-Spam-Score: -1.05 X-Migadu-Scanner: scn0.migadu.com X-TUID: qaxIzH0uqMWJ Hi janneke, Jan Nieuwenhuizen writes: > I have reset Guix' wip-full-source-bootstrap branch with a first working > implementation of the, well, "Full Source Bootstrap" for x86-linux (and > x86_64-linux). This bootstrap is rooted in the 357-byte hex0-seed from > the Stage0 project (https://savannah.gnu.org/projects/stage0). The dream is alive! Congratulations on this big leap forward! > When you look at the bottom of the graph (see attached), you will notice > "%bootstrap-guile": the driver that we use for the Guix build and also > for "bootar", "gash", and "gash-utils". This "%bootstrap-guile" is not > used as a seed in anything that is built, "%bootstrap-guile", "bootar", > "gash", and "gash-utils" could be replaced with any other driver. I never mentioned it, but a few months ago I took a little look at porting Gash & friends to Mes. The big issue that I ran into is that Mes doesn=E2=80=99t really have a module system. My plan was to build up M= es modules and strip down Gash requirements until they met in the middle. Sometime (probably not worth derailing this thread right now) we should discuss what needs to be done for Mes modules. (It looked like something I could do with a little guidance on the design.) > XXX TODO: > * wip-full-source-bootstrap > [...] > * wip-arm-bootstrap > - finish; currently stuck on gawk-mesboot0 > [...] It looks like you=E2=80=99ve made a lot of progress on this already (judgin= g by the rest of this thread). However, if it helps, the current Gash-Utils awk could _probably_ be used to skip most (all?) of the old versions of Gawk. Sorry I can=E2=80=99t be more helpful ATM. I appreciate the work you do to= keep this project rolling! -- Tim