A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops, workstations and servers.
Go to file
Cody Ho 15b5be6c9d
DO NOT MERGE: skeleton docker support
Signed-off-by: Cody Ho <codyho@stanford.edu>
2022-07-18 16:37:13 -07:00
.circleci CircleCI: Remove coreboot 4.11 builds 2022-06-22 16:30:05 -04:00
bin clean all cpio files and ensure that they are all padded 2018-03-15 11:46:42 -04:00
blobs xx30 vbios scripts error handling and better scoping of UEFIExtract for FL1 files only. Also add sudo calls where required 2022-02-15 11:26:32 -05:00
boards xx30 boards: add top bottom roms statements to get hashes under hashes.txt 2022-06-23 11:05:53 -04:00
build porting Makefile to use a modular build system for each package 2016-08-02 19:25:47 -04:00
config maximized boards: add ps2mouse modules to maximized kernel cfg 2022-06-10 09:56:36 -04:00
initrd gui-init: Have TPMTOTP QrCode named under TOTP app with $BOARD_NAME 2022-06-22 16:43:29 -04:00
install ignore everything in install/ 2018-02-05 16:04:23 -05:00
modules Remove local build of gawk make 2022-06-23 10:51:13 -04:00
packages ignore fetched files 2016-08-02 21:24:15 -04:00
patches Remove local build of gawk make 2022-06-23 10:51:13 -04:00
reproducible-builds DO NOT MERGE: skeleton docker support 2022-07-18 16:37:13 -07:00
.gitignore fix install directory handling for git and builds 2018-11-23 12:29:08 -05:00
.gitlab-ci.yml.deprecated Merge pull request #867 from Tonux599/kgpe-d16_411_measured-boot 2020-12-02 18:23:55 -05:00
COPYING Add GPL license (issue #115) 2017-02-26 10:53:11 -05:00
FAQ.md FAQ: Fix spelling of *convenience* 2018-08-09 23:37:18 +02:00
Makefile Remove local build of gawk make 2022-06-23 10:51:13 -04:00
README.md Changing landing picture to show FBWhiptail 2022-06-22 16:47:05 -04:00

Heads booting on an x230

Heads: the other side of TAILS

Heads is a configuration for laptops and servers that tries to bring more security to commodity hardware. Among its goals are:

  • Use free software on the boot path
  • Move the root of trust into hardware (or at least the ROM bootblock)
  • Measure and attest to the state of the firmware
  • Measure and verify all filesystems

Flashing Heads into the boot ROM

NOTE: It is a work in progress and not yet ready for non-technical users. If you're interested in contributing, please get in touch. Installation requires disassembly of your laptop or server, external SPI flash programmers, possible risk of destruction and significant frustration.

More information is available in the 33C3 presentation of building "Slightly more secure systems".

Documentation

Please refer to Heads-wiki for your Heads' documentation needs.

Building heads

make BOARD=board_name where board_name is the name of the board directory under ./boards directory.

In order to build reproducible firmware images, Heads builds a specific version of gcc and uses it to compile the Linux kernel and various tools that go into the initrd. Unfortunately this means the first step is a little slow since it will clone the musl-cross-make tree and build gcc...

Once that is done, the top level Makefile will handle most of the remaining details -- it downloads the various packages, verifies the hashes, applies Heads specific patches, configures and builds them with the cross compiler, and then copies the necessary parts into the initrd directory.

There are still dependencies on the build system's coreutils in /bin and /usr/bin/, but any problems should be detectable if you end up with a different hash than the official builds.

The various components that are downloaded are in the ./modules directory and include:

We also recommend installing Qubes OS, although there Heads can kexec into any Linux or multiboot kernel.

Notes:

  • Building coreboot's cross compilers can take a while. Luckily this is only done once.
  • Builds are finally reproducible! The reproduciblebuilds tag tracks any regressions.
  • Currently only tested in QEMU, the Thinkpad x230, Librem series and the Chell Chromebook. ** Xen and the TPM do not work in QEMU, so it is only for testing the initrd image.
  • Building for the Lenovo X220 requires binary blobs to be placed in the blobs/x220/ folder. See the readme.md file in that folder
  • Building for the Librem 13 v2/v3 or Librem 15 v3/v4 requires binary blobs to be placed in the blobs/librem_skl folder. See the readme.md file in that folder

coreboot console messages

The coreboot console messages are stored in the CBMEM region and can be read by the Linux payload with the cbmem --console | less command. There is lots of interesting data about the state of the system.