diff options
author | tv <tv@krebsco.de> | 2016-02-04 01:31:21 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-02-04 01:31:21 +0100 |
commit | e2a922dd7d2ab1f3e24a5d54c641c9ce6f51865d (patch) | |
tree | 361d2db5f8226a5b9d6aea80e9b7e55a7a845bed /makefu/1systems/wbob.nix | |
parent | 48381bd8dd9607d54a936c644964ab5bac90e4a9 (diff) | |
parent | b38a821c31de84af6567073bd65ac76c5fc02b5d (diff) |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/1systems/wbob.nix')
-rw-r--r-- | makefu/1systems/wbob.nix | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/makefu/1systems/wbob.nix b/makefu/1systems/wbob.nix new file mode 100644 index 000000000..d6916f006 --- /dev/null +++ b/makefu/1systems/wbob.nix @@ -0,0 +1,19 @@ +{ config, pkgs, ... }: +{ + imports = + [ # Include the results of the hardware scan. + ../2configs/main-laptop.nix + ]; + krebs = { + enable = true; + retiolum.enable = true; + build.host = config.krebs.hosts.wbob; + }; + boot.loader.grub.device = "/dev/sda"; + boot.initrd.availableKernelModules = [ "xhci_pci" "ehci_pci" "ahci" "usbhid" "usb_storage" ]; + boot.kernelModules = [ "kvm-intel" ]; + fileSystems."/" = { + device = "/dev/sda1"; + fsType = "ext4"; + }; +} |