[bootstrappable] Re: diverse double-compilation

HW42 hw42 at ipsumj.de
Tue Nov 14 11:32:58 UTC 2023


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 bootstrapping alongside userspace bootstrapping.
> Of course there are still FW and HW (and on top of that you need a method to toggle
> some initial data to memory) that you have to trust even in that situation. And this is all
> already achieved on x86 and is even automated.

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 have missed some announcement.

> And yes, I agree that running it in different environments is good, but I was thinking of it
> as running the whole thing on different machines, which I guess you can argue is DDC.

Yeah, I would argue so. Although depending on the requirements for the
bootstrap process the "diverse" part might get tricky.

Simon
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.reproducible-builds.org/pipermail/rb-general/attachments/20231114/65379f3a/attachment.sig>


More information about the rb-general mailing list