Hi,
I'm forwarding an update on the
Verifiable Source-only Bootstrap From Scratch (VSOBFS) project.
I mirrored it to
https://www.zq1.de/~bernhard/mirror/rbzfp7h25zcnmxu4wnxhespe64addpopah5ckfpdfyy4qetpziitp5qd.onion/
-------- Forwarded Message --------
Subject: an update, vsobfs-Linux (Re: verifiable source-only bootstrap
from scratch)
Date: Thu, 30 May 2024 10:07:39 +0200
From: aho...@0w.se
To: Bernhard M. Wiedemann <bernhard...@lsmod.de>
Dear Bernhard,
I share this update with you because of the interest and the friendly
attitude you showed earlier by mirroring the vsobfs tor web site.
The core data of the vsobfs project is immutable by design, but there
are now some additions, among others a verifiable OS disk image with a
Linux kernel instead of Minix-vmd (building upon, not skipping the
previous steps on Minix-vmd).
The new image might possibly feel more conventional than Minix-vmd one,
depending on one's preferences. There is still no GNU or LLVM toolchain
there and the kernel is remarkably old for this very reason, the modern
kernels depend on specific compilers. At the same time, it should be
straightforward to build binutils and gcc there with tinycc (I did this
earlier, reproducibly, in a comparable Linux setup).
The update is presented at the same site as earlier:
http://rbzfp7h25zcnmxu4wnxhespe64addpopah5ckfpdfyy4qetpziitp5qd.onion
Kind regards,
an
