{ ... }: {
  device.disks = {
    boot = "5BB3-FDE6";
    crypt = "8c2e23a2-301a-483d-9331-afc982082c8a";
    root = "c08d5ede-433d-48cf-8344-17b20d32fb6c";
  };
}