Re: [bootstrappable] wip-full-source-bootstrap: from a 357-byte `hex0' to 'hello'

[Jan Nieuwenhuizen <janneke@gnu.org>]

[-- Attachment #1: Type: text/plain, Size: 1794 bytes --]

Paul Sherwood writes:

Hello Paul,

> On 2021-01-04 17:01, Jan Nieuwenhuizen wrote:
>> 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):
>
> This is really exciting, great job Jan! Do you need any help, e.g. on
> the ARM side, or with optimising the integration?

Thanks!  We really could use help with this (Danny?).  To paint the
picture for people listening in: Next to ARM it may need some Guix
skills, or even more work to reproduce our experimental ARM bootstrap
outside of Guix.

I'm a bit hesitant about the timing, because I cannot make much time the
coming week.

A very short summary of where we are, on wip-arm-bootstrap, building
gawk-mesboot0

--8<---------------cut here---------------start------------->8---
./pre-inst-env guix build -e '(@@ (gnu packages commencement) gawk-mesboot0)'
--8<---------------cut here---------------end--------------->8---

produces a gawk binary that fails to increment a variable

--8<---------------cut here---------------start------------->8---
11:35:59 janneke@novena:~/src/wip-arm-bootstrap [env]
$ /gnu/store/f756xxxqj3mabaax5r4ldrxh01a9q54r-gawk-mesboot0-3.0.0/bin/gawk -f add.awk add.awk 
i=1
i=2
11:36:14 janneke@novena:~/src/wip-arm-bootstrap [env]
$ /gnu/store/f756xxxqj3mabaax5r4ldrxh01a9q54r-gawk-mesboot0-3.0.0/bin/gawk -f inc.awk inc.awk 
i=     0
i=     0
11:36:27 janneke@novena:~/src/wip-arm-bootstrap [env]
--8<---------------cut here---------------end--------------->8---

So could be anything, could bin in tcc-boot or in gawk-mesboot0...

Thanks for reaching out!
Greetings,
Janneke


[-- Attachment #2: add.awk --]
[-- Type: application/octet-stream, Size: 95 bytes --]

BEGIN {
    i = 0;
    i = i + 1
    printf "i=%d\n", i
    i = i + 1
    printf "i=%d\n", i
}

[-- Attachment #3: inc.awk --]
[-- Type: application/octet-stream, Size: 71 bytes --]

BEGIN {
    i = 0;
    printf "i=%d\n", ++i
    printf "i=%d\n", ++i
}

[-- Attachment #4: Type: text/plain, Size: 152 bytes --]


-- 
Jan Nieuwenhuizen <janneke@gnu.org> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar® http://AvatarAcademy.com