#!/usr/bin/env bash
set -eu
./bench-boot -t "${1:-1}"
./test-kernel-modules