2022-09-23 23:47:05 +02:00
|
|
|
import ./make-test-python.nix ({ lib, pkgs, ... }: {
|
|
|
|
|
name = "systemd-initrd-luks-tpm2";
|
|
|
|
|
|
|
|
|
|
nodes.machine = { pkgs, ... }: {
|
|
|
|
|
# Use systemd-boot
|
|
|
|
|
virtualisation = {
|
|
|
|
|
emptyDiskImages = [ 512 ];
|
|
|
|
|
useBootLoader = true;
|
2023-05-25 19:07:54 +02:00
|
|
|
# Booting off the TPM2-encrypted device requires an available init script
|
|
|
|
|
mountHostNixStore = true;
|
2022-09-23 23:47:05 +02:00
|
|
|
useEFIBoot = true;
|
2023-04-30 04:02:51 +02:00
|
|
|
tpm.enable = true;
|
2022-09-23 23:47:05 +02:00
|
|
|
};
|
|
|
|
|
boot.loader.systemd-boot.enable = true;
|
|
|
|
|
|
|
|
|
|
boot.initrd.availableKernelModules = [ "tpm_tis" ];
|
|
|
|
|
|
|
|
|
|
environment.systemPackages = with pkgs; [ cryptsetup ];
|
|
|
|
|
boot.initrd.systemd = {
|
|
|
|
|
enable = true;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
specialisation.boot-luks.configuration = {
|
|
|
|
|
boot.initrd.luks.devices = lib.mkVMOverride {
|
|
|
|
|
cryptroot = {
|
2022-10-16 00:18:03 +02:00
|
|
|
device = "/dev/vdb";
|
2022-09-23 23:47:05 +02:00
|
|
|
crypttabExtraOpts = [ "tpm2-device=auto" ];
|
|
|
|
|
};
|
|
|
|
|
};
|
2022-10-16 00:18:03 +02:00
|
|
|
virtualisation.rootDevice = "/dev/mapper/cryptroot";
|
nixos/qemu-vm: use persistent block device names
This change removes the bespoke logic around identifying block devices.
Instead of trying to find the right device by iterating over
`qemu.drives` and guessing the right partition number (e.g.
/dev/vda{1,2}), devices are now identified by persistent names provided
by udev in /dev/disk/by-*.
Before this change, the root device was formatted on demand in the
initrd. However, this makes it impossible to use filesystem identifiers
to identify devices. Now, the formatting step is performed before the VM
is started. Because some tests, however, rely on this behaviour, a
utility function to replace this behaviour in added in
/nixos/tests/common/auto-format-root-device.nix.
Devices that contain neither a partition table nor a filesystem are
identified by their hardware serial number which is injecetd via QEMU
(and is thus persistent and predictable). PCI paths are not a reliably
way to identify devices because their availability and numbering depends
on the QEMU machine type.
This change makes the module more robust against changes in QEMU and the
kernel (non-persistent device naming) and by decoupling abstractions
(i.e. rootDevice, bootPartition, and bootLoaderDevice) enables further
improvement down the line.
2023-06-08 02:34:10 +02:00
|
|
|
virtualisation.fileSystems."/".autoFormat = true;
|
2022-09-23 23:47:05 +02:00
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
testScript = ''
|
|
|
|
|
# Create encrypted volume
|
|
|
|
|
machine.wait_for_unit("multi-user.target")
|
2022-10-16 00:18:03 +02:00
|
|
|
machine.succeed("echo -n supersecret | cryptsetup luksFormat -q --iter-time=1 /dev/vdb -")
|
|
|
|
|
machine.succeed("PASSWORD=supersecret SYSTEMD_LOG_LEVEL=debug systemd-cryptenroll --tpm2-pcrs= --tpm2-device=auto /dev/vdb |& systemd-cat")
|
2022-09-23 23:47:05 +02:00
|
|
|
|
|
|
|
|
# Boot from the encrypted disk
|
|
|
|
|
machine.succeed("bootctl set-default nixos-generation-1-specialisation-boot-luks.conf")
|
|
|
|
|
machine.succeed("sync")
|
|
|
|
|
machine.crash()
|
|
|
|
|
|
|
|
|
|
# Boot and decrypt the disk
|
|
|
|
|
machine.wait_for_unit("multi-user.target")
|
|
|
|
|
assert "/dev/mapper/cryptroot on / type ext4" in machine.succeed("mount")
|
|
|
|
|
'';
|
|
|
|
|
})
|
