[rb-general] bootstrappable builds: practical source based bootstrapping

[u-vs9k at aetey.se]

Good luck with your project Jan.

Wouldn't a complete bootstrapping have to include the source to hardware
as well? OTOH checking on several unrelated hardware implementations
would be probably sufficient.

FWIIW we at Aetey are doing in production a similar style self-hosting
bootstrapping, with less than 2MB of binaries at the start (verifiable
via any external ANSI C compiler for ia32). For verification of the
sanity of the underlying kernel we identically build on three different
implementations of the Linux kernel ABI, instead of having to bootstrap
the kernel services as well.

On Mon, Jul 24, 2017 at 06:57:58PM +0200, Jan Nieuwenhuizen wrote:
> [1] https://bootstrappable.org

fyi, this url gives me "Guix substitute mirror", but the http: form works.

Regards,
vs9k