{ ... }: let hashDisk = disk: "os-${builtins.substring 0 5 (builtins.hashString "sha256" disk)}"; os = "/dev/disk/by-id/usb-Generic_MassStorageClass_000000001539-0:0"; in { boot.loader = { systemd-boot = { enable = true; }; efi = { canTouchEfiVariables = true; }; }; disko.devices = { disk = { "os-${hashDisk os}" = { type = "disk"; device = os; content = { type = "gpt"; partitions = { ESP = { end = "500M"; type = "EF00"; content = { type = "filesystem"; format = "vfat"; mountpoint = "/boot"; mountOptions = [ "umask=0077" ]; }; }; root = { name = "root"; end = "-0"; content = { type = "filesystem"; format = "f2fs"; mountpoint = "/"; extraArgs = [ "-O" "extra_attr,inode_checksum,sb_checksum,compression" ]; mountOptions = [ "compress_algorithm=zstd:6,compress_chksum,atgc,gc_merge,lazytime,nodiscard" ]; }; }; }; }; }; }; }; }