Skip to content

mullvad/system-transparency

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

System Transparency Tooling

Testing

This repository contains tooling, configuration files and, demos to form a build-, test- and development environment for System Transparency.

stboot is System Transparency Project’s official bootloader. It is a LinuxBoot distribution based on u-root. The source code of stboot can be found at https://github.com/system-transparency/stboot.

With System Transparency, all OS-related artifacts including the userspace are bundled together in a signed OS Package. The core idea is that stboot verifies this OS package before booting. For more details on signature verification, further security mechanisms and features of stboot see Features

Prerequisites

Your machine should run a Linux system (tested with Ubuntu 18.04.2 LTS and 20.04.2 LTS).

About task

Task is a task runner/build tool that aims to be simpler and easier to use than, for example, GNU Make. It provides remarkable documentation and uses a simple YAML schema to define tasks. For more information, go to https://taskfile.dev or run task --help.

To see all available tasks:

task -l

Migration to Task

In previous versions, System Transparency used GNU make to build the target installation. If your repository still has build artifacts from make, it is recommended to clean the complete repository before using it with task:

task clean-all

Environment

The System Transparency Repository provides a setup.env file to load the build environment. It installs the latest version of Task and configures a separate GOPATH to prevent any conflicts. To load and unload the environment depending on the current directory, it is recommended to use direnv. Go to Basic Installation to see how to properly setup direnv for your shell. After restarting your shell, you can enable direnv for the repository:

echo "source setup.env" > .envrc
direnv allow

As an alternative, you can load the environment directly without direnv:

source setup.env

However, this is only recommended on CI workflows since it makes the environment changes persistent in your current shell session.

Build Dependencies

This is work in progress.

System Transparency requires some dependencies to build the complete installation image. You can check for missing dependencies:

task deps:check

In addition, it is possible to install all dependencies on Debian based environments (tested with Ubuntu 18.04.2 LTS and 20.04.2 LTS):

task deps:install

Note: user requires privileges via sudo

Demo Files

To see System Transparency in action you need a signed OS package to be loaded by stboot, it is possible to create an Image for demo purposes.

First, generate all required keys and certificates for the signature verification:

task demo:keygen

Afterward, an example OS package can be built with:

task demo:ospkg

It builds an example Debian OS image with debos and uses stmgr to convert it to an OS package.

task demo:server

Will start the HTTP server stboot will read the package from. Remember to run it before booting the stboot machine.

Installation

To bring System Transparency to your systems, you need to deploy an installation image. Run the following to create an image. See Deployment for the supported scenarios.

Configure

To generate a default configuration:

task config

The config file st.config contains all available configuration variables. Take a look at the descriptions provided in this file for details.

Build

# build stboot disk image
task disk
# build stboot ISO image
task iso

Test

# run stboot disk image
task qemu:disk
# run stboot ISO image
task qemu:iso

OS-Package

An OS package consists of an archive file (ZIP) and descriptor file (JSON). The archive contains the boot files (kernel, initramfs, etc.) and the descriptor file contains the signatures and other metadata.

OS packages can be created and managed with the stmgr tool. Source code of stmgr: https://github.com/system-transparency/stmgr/tree/main/tools/stmgr

Once you have an OS kernel & initramfs containing the userspace, create an OS package out of it:

# Create a new OS package
stmgr ospkg create -kernel=<your_OS_kernel> -initramfs=<your_OS_initramfs>
# Sign the OS package (multiple times)
stmgr ospkg sign -key=<your.key> -cert=<your.cert> -ospkg=<OS package>

# See help for all options
stman -help

According to the configured boot mode, place the OS package(s) at the STDATA partition of the stboot image or upload it to a provisioning server. See Boot Modes

System Configuration

A subset of the configuration options in st.config ends up in two JSON files which stboot reads in during the boot process:

host_configuration.json

This file is written to the root directory of the STBOOT partition. It contains host-specific data and resides on the STBOOT partition, so it can easily be modified during an orchestration process. It contains a single JSON object that stboot parses. The JSON object has the following fields:

version - JSON number

The version number of the host configuration.

network_mode - JSON string

Valid values are "static" or "dhcp". In network boot mode, it determines the setup of the network interface. Either the DHCP protocol is used or a static IP setup using the values of the fields host_ip and gateway.

host_ip - JSON string or null

Only relevant in network boot mode and when network_mode is set to "static". The machine's network IP address is supposed to be passed in CIDR notation like "192.0.2.0/24" or "2001:db8::/32".

gateway - JSON string or null

Only relevant in network boot mode and when network_mode is set to "static". The machine's network default gateway is supposed to be passed as an IP address like "192.0.2.0" or "2001:db8::".

dns - JSON string or null

Optional setting to pass a custom DNS server when using network boot mode. The value will be prefixed with nameserver and then written to /etc/resolv.conf inside the LinuxBoot initramfs. If no own setting is provided, 8.8.8.8 is used.

network_interface - JSON string or null

Optional setting to choose a specific network interface via its MAC address when using network boot mode. The MAC is supposed to be passed in IEEE 802 MAC-48, EUI-48, or EUI-64 format, e.g 00:00:5e:00:53:01. If empty or if the desired network interface cannot be found, the first existing and successfully setup one will be used.

provisioning_urls - JSON array of strings

A list of provisioning server URLs. See also Network Boot. The URLs must include the scheme (http:// or https://).

identity - JSON string or null

This string representation of random hex-encoded 256 bits is used for string replacement in the provisioning URLs. See Network Boot.

authentication - JSON string or null

This string representation of random hex-encoded 256 bits is used for string replacement in the provisioning URLs. See Network Boot.

timestamp - JSON number or null

Optional Unix timestamp for system time validation.

An example host_configuration.json file could look like this:

{
    "version":1,
    "network_mode":"static",
    "host_ip":"10.0.2.15/24",
    "gateway":"10.0.2.2",
    "dns":"8.8.8.8",
    "network_interface":"",
    "provisioning_urls":["http://a.server.com","https://b.server.com"],
    "identity":"8D4EA31D49AF0EB93FAB198D3FD874B0A2C7C4C4351F28A7967C8D674FE508DC",
    "authentication":"C2F3F516A79F756E7D3128B77077B4A8AEF61E888499FD99AE92E6D4F2E7653C",
    "timestamp":1647263248
}

All values can be managed via .config so although you can easily modify this file on the image. Generally, it is recommended not to edit this file manually but control the values via the general configuration.

security_configuration.json

This file is compiled into the LinuxBoot initramfs at /etc/security_configuration.json. It contains the following security-critical fields, it is not recommended editing this file manually. It contains a single JSON object that stboot parses. The JSON object has the following fields:

version - JSON number

The version number of the security configuration.

min_valid_sigs_required - JSON number

This value determines the minimum number of signatures that must be valid during the validation of an OS package. See Signature Verification

boot_mode - JSON string

Valid values are "local" or "network". See Boot Modes.

An example security_configuration.json file could look like this:

{
  "version": 1,
  "min_valid_sigs_required": 2,
  "boot_mode": "local"
}

Features

stboot extensively validates the state of the system and all data it will use in its control flow. In case of any error, it will reboot the system. At the end of the control flow, stboot will use kexec to hand over the control to the kernel provided in the OS package. From that point on, stboot has no longer control over the system.

System Time Validation

A proper system time is important for validating certificates. It is the responsibility of the operator to set the system time correctly. However, stboot performs the following check:

  • Look at the system time, look at the optional timestamp entry inside host configuration.
  • Set system time to the latest.

The OS is allowed to update this file. Especially if it’s an embedded system without an RTC.

Boot Modes

stboot supports two boot methods - Network and Local. In Network mode, stboot loads an OS package from a provisioning server. In Local mode, stboot loads an OS package from the STDATA partition on a local disk. Only one boot method at a time may be configured.

Network Boot

Network boot can be configured using either DHCP or a static network configuration. In the case of a static network, stboot uses IP address, netmask, default gateway, and DNS server from host_configuration.json.

Provisioning Server Communication:

Provisioning URLs:

These URLs are supposed to serve the OS package descriptor.

For each provisioning server URL in host_configuration.json:

  • Try downloading the OS package descriptor (JSON file).
  • Extract the OS package URL.
  • Check the filename in the OS package URL. (must be .zip)
  • Try downloading the OS package

Local Boot

  • Local storage: STDATA/stboot/os_pkgs/local/
  • Try OS packages in the order they are listed in the file STDATA/stboot/os_pkgs/local/boot_order
  • Save the path name to the OS package which is about to be booted in STDATA/stboot/etc/current_ospkg_pathname

If OS package signature verification fails, or the OS package is invalid, stboot will move on to the next OS package. The operator should notice that the old OS package had been booted, and infer that the new OS package is invalid. If OS package signature verification succeeds, OS package is valid, but running OS is inaccessible (due to failure during kexec or later), this is out of scope for stboot’s responsibility.

Signature Verification

stboot verifies the signatures before opening an OS package. SHA256 should be used to hash the OS package ZIP archive file. The Signature should be calculated from the resulting hash. An OS package is signed using one or more X.509 signing certificates. The root certificate for the signing certificates is packed into the LinuxBoot initramfs at /etc/ospkg_signing_root.pem. Also, the minimum number of signatures required resides in the initramfs in etc/security_configuration.json. Ed25519 is recommended for the root certificate as well as the signing certificates.

Two files are involved, the OS package itself and a corresponding descriptor file:

  • SOMENAME.zip (package file)
  • SOMENAME.json (descriptor file)

The verification process in stboot:

  • Validate the document format.
  • For each signature certificate tuple:
    • Validate the certificate against the root certificate. Only check validity bounds and if the certificate is chained to the trusted root certificate.
    • Check for duplicate X.509 certificates.
    • Verify signature.
    • Increase count of valid signatures
  • Check if the number of successful signatures is enough.

Debugging

Console Output

The output of stboot can be controlled via the LinuxBoot kernel command line. You can edit the command line in st.config. Besides the usual kernel parameters, you can pass flags to stboot via the special parameter uroot.uinitargs or via ST_STBOOT_ARGS config.

  • To enable debug output in stboot pass -debug
  • To see not only the LinuxBoot kernel's but also stboot's output on all defined consoles (not on the last one defined only) pass -klog

Examples:

  • Print output to multiple consoles: console=tty0 console=ttyS0,115200 printk.devkmsg=on uroot.uinitargs=\"-debug -klog\" (input is still taken from the last console defined. Furthermore, it can happen that certain messages are only displayed on the last console)

  • Print minimal output: console=ttyS0,115200

u-root Shell

By setting ST_LINUXBOOT_VARIANT=full in st.config the LinuxBoot initramfs will contain a shell and u-root's core commands (https://github.com/u-root/u-root/tree/stboot/cmds/core) in addition to stboot itself. So while stboot is running, you can press ctrl+c to exit. You are then dropped into a shell and can inspect the system and use the core commands of u-root.

Remote Debugging Using the CPU Command

To do extensive remote debugging of the host, you can use u-root's cpu command. Since the stboot image running on the host has much fewer tools and services than usual Linux operating systems, the cpu command is a well-suited option for debugging the host remotely. It connects to the host, bringing all your local tools and environment with you.

Preparation

You need to set ST_LINUXBOOT_VARIANT=debug in .config to include the cpu daemon into the LinuxBoot initramfs.

The cpu command (the counterpart to the daemon) should be installed on your system as part of the toolchain. Try to run it:

./cache/go/bin/cpu
Usage: cpu [options] host [shell command]:
  -bin string
        path of cpu binary (default "cpud")
  -bindover string
        : separated list of directories in /tmp/cpu to bind over / (default "/lib:/lib64:/lib32:/usr:/bin:/etc:/home")
  -d    enable debug prints
  -dbg9p
        show 9p io
  -hk string
        file for host key
  -init
        run as init (Debug only; normal test is if we are pid 1
  ...

Usage

Before accessing the remote machine through cpu you first need to start the cpu daemon on the host running stboot. To do so, go to the serial console and press ctrl+c while stboot is running. This will give you access to the shell. Then do:

# Start the `cpud` with all the required keys.
elvish start_cpu.elv

Now, on your own system run:

cpu -key out/keys/cpu_keys/cpu_rsa <host>

This will connect you to the remote server and bring all your tools and environment with it. Be aware that this process might take up to a few minutes, depending on the size of your environment and the power of the remote machine.

You can test it by running in QEMU:

# run installation in QEMU
task run
# interrupt stboot while booting
ctrl+c
# start the cpu daemon
./elvish start_cpu.elv

In the newly opened terminal, run:

cpu -key keys/cpu_keys/cpu_rsa localhost

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published