with import ; { config, pkgs, ... }: { krebs.build.host = config.krebs.hosts.wu; imports = [ ]; boot.initrd.luks = { cryptoModules = [ "aes" "sha512" "xts" ]; devices = [ { name = "wuca"; device = "/dev/sda2"; } ]; }; fileSystems = { "/" = { device = "/dev/mapper/wuvga-root"; fsType = "ext4"; }; "/bku" = { device = "/dev/mapper/wuvga-bku"; fsType = "ext4"; }; "/home" = { device = "/dev/mapper/wuvga-home"; fsType = "ext4"; }; "/boot" = { device = "/dev/sda1"; }; }; networking.wireless.enable = true; services.printing.enable = true; services.udev.extraRules = '' SUBSYSTEM=="net", ATTR{address}=="00:90:f5:da:aa:c3", NAME="en0" SUBSYSTEM=="net", ATTR{address}=="a0:88:b4:1b:ae:6c", NAME="wl0" # for jack KERNEL=="rtc0", GROUP="audio" KERNEL=="hpet", GROUP="audio" ''; }