Maintaining and releasing the skulls project is something I like to do
but also something that is not exactly becoming more easy when
time is scarse and there is no compensation at all :)
The scripts to build reproducibly are based on
these
scripts that use the
coreboot-sdk.
Alternatives
We aim to be the easiest possible coreboot distribution - both
to install and to use. And since our flash image is unlocked to enable
software updates, it's easy to move to alternative systems from it:
Heads - a coreboot distribution
with pre-built (or reproducibly buildable) flash images (for the X230 and others). Heads
includes Linux, with tools to create a trusted boot chain using your GPG key
and the TPM.
libreboot - a coreboot distribution with pre-built
image releases. The X230 is currently not supported (the X200 is) - libreboot
images are built from free software only and include the GRUB bootloader.