From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id sJPYFu+f9V+DewAA0tVLHw (envelope-from ) for ; Wed, 06 Jan 2021 11:33:03 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id SFc/Eu+f9V+VfgAAbx9fmQ (envelope-from ) for ; Wed, 06 Jan 2021 11:33:03 +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 0AE15940414 for ; Wed, 6 Jan 2021 11:33:03 +0000 (UTC) Received: from localhost ([::1]:52278 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kx73l-0003CI-QN for larch@yhetil.org; Wed, 06 Jan 2021 06:33:01 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:40124) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kx73d-0003CA-Jy for guix-devel@gnu.org; Wed, 06 Jan 2021 06:32:53 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:58375) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kx73b-0003PN-Cp; Wed, 06 Jan 2021 06:32:52 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=41502 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1kx73Z-0005pd-G8; Wed, 06 Jan 2021 06:32:49 -0500 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Jan Nieuwenhuizen Subject: Re: [bootstrappable] wip-full-source-bootstrap: from a 357-byte `hex0' to 'hello' References: <87im8cvdpa.fsf@gnu.org> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 17 =?utf-8?Q?Niv=C3=B4se?= an 229 de la =?utf-8?Q?R?= =?utf-8?Q?=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Wed, 06 Jan 2021 12:32:48 +0100 In-Reply-To: <87im8cvdpa.fsf@gnu.org> (Jan Nieuwenhuizen's message of "Mon, 04 Jan 2021 18:01:21 +0100") Message-ID: <87im8amhb3.fsf@gnu.org> 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 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: -2.84 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; 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: 0AE15940414 X-Spam-Score: -2.84 X-Migadu-Scanner: scn0.migadu.com X-TUID: QZOWT1njbEYX Hi! Jan Nieuwenhuizen skribis: > 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): > > $ ./pre-inst-env guix build hello --verbosity=3D1 > [..] > /gnu/store/w61gf93yn2bxwyc6d1xp4y9lavvw1l3d-hello-2.10 > 17:58:54 janneke@dundal:~/src/guix/wip-fsb [env] This is amazing! Incredible. Thumbs up! (BTW, you recently worked on the secret service=C2=B9, and now the FSB=E2=80=94coincidence?) =C2=B9 https://git.savannah.gnu.org/cgit/guix.git/commit?id=3Dec32d4f291b3c= c039a99f8090b6c2b2444be5a83 > 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. Longer-term, could bootar, Gash, etc. run on Mes? Would that help? > Two new packages are added: "bootstrap-seeds", which contains the > hex0-seed binary > (https://github.com/oriansj/bootstrap-seeds/blob/master/POSIX/x86/hex0-se= ed) > with ASCII-equivalent > (https://github.com/oriansj/bootstrap-seeds/blob/master/POSIX/x86/hex0_x8= 6.hex0), > and "m2-planet-boot" which, starting from hex0, via hex1, M0, hex2 and > M1, bootstraps the M2-Planet transpiler. M2 is a language that closely > resembles a subset of C. > > The breakthrough is that this M2-Planet can now compile a version of GNU > Mes, as yet unreleased: the wip-m2 branch. This removes the remaining > binary seeds: %bootstrap-mescc-tools and %bootstrap-mes, together with > the "%bootstrap-mes-rewired" hack. Woow. I=E2=80=99m willing to take a closer look at all this, this is impressive! > Apart from a review there is still some work before it can be > integrated, in short (from the top commit message): > > XXX TODO: > * wip-full-source-bootstrap > - release mes-0.24, update > - possibly release m2-planet-1.8.0, update > - rebase wip-full-source-bootstrap onto core-updates > - integrate All this should be piece of cake compared to what you=E2=80=99ve gone throu= gh. ;-) But it does mean long rebuild cycles, which I guess can be tiring. > * wip-arm-bootstrap > - finish; currently stuck on gawk-mesboot0 > - release mes-0.23 > - devise strategy for integrating wip-full-source-bootstrap and > wip-arm-bootstrap Ah, that=E2=80=99s the second big challenge! Congratulations to you and everyone involved for going this far! You made it! Ludo=E2=80=99.