Re: [bootstrappable] Re: diverse double-compilation

2023-11-14 Thread Andrius Štikonas via rb-general
2023 m. lapkričio 14 d., antradienis 11:32:58 GMT HW42 rašė: > I guess you are referring to using stage0-uefi and live-bootstrap here, > right? Or maybe there's also some Guix work on top of it that wasn't > described in the blog yet. I haven't followed the development that > closely or maybe I

Re: [bootstrappable] Re: diverse double-compilation

2023-11-14 Thread HW42
Andrius Štikonas: > Ok, you make some fair points and I partially agree with that. > > What I think you didn't realize, is that full source bootstrap does not need > any software > on the system. You don't need guix or kernel either. You can start with > ~200 byte "hex0" kernel and do kernel

Re: [bootstrappable] Re: diverse double-compilation

2023-11-14 Thread Andrius Štikonas via rb-general
Hi Martin, Diverse double-compilation kind of doesn't make sense (or is superseeded) in the context of full source bootstrap. DDC works in the following way: you start with a "trusted" compiler A and "unknown" compiler B Then A->B->B and B->B should produce identical hashes in the last stage,