-22

machines/lasspi/config.nix

Reviewed

··· 1 1 - { config, pkgs, ... }: 2 2 - { 3 3 - imports = [ 4 4 - ../../2configs 5 5 - ../../2configs/retiolum.nix 6 6 - ]; 7 7 - 8 8 - krebs.build.host = config.krebs.hosts.lasspi; 9 9 - 10 10 - networking = { 11 11 - networkmanager = { 12 12 - enable = true; 13 13 - }; 14 14 - }; 15 15 - environment.systemPackages = with pkgs; [ 16 16 - vim 17 17 - rxvt-unicode-unwrapped.terminfo 18 18 - ]; 19 19 - services.openssh.enable = true; 20 20 - 21 21 - system.stateVersion = "22.05"; 22 22 - }

-49

machines/lasspi/physical.nix

Reviewed

··· 1 1 - { modulesPath, ... }: 2 2 - { 3 3 - imports = [ 4 4 - (modulesPath + "/installer/scan/not-detected.nix") 5 5 - ./config.nix 6 6 - ]; 7 7 - 8 8 - boot = { 9 9 - # kernelPackages = pkgs.linuxPackages_rpi4; 10 10 - tmpOnTmpfs = true; 11 11 - initrd.availableKernelModules = [ 12 12 - "usbhid" 13 13 - "usb_storage" 14 14 - "xhci_pci" 15 15 - ]; 16 16 - # ttyAMA0 is the serial console broken out to the GPIO 17 17 - kernelParams = [ 18 18 - "8250.nr_uarts=1" 19 19 - "console=ttyAMA0,115200" 20 20 - "console=tty1" 21 21 - # Some gui programs need this 22 22 - "cma=128M" 23 23 - ]; 24 24 - }; 25 25 - 26 26 - # boot.loader.raspberryPi = { 27 27 - # enable = true; 28 28 - # version = 4; 29 29 - # # uboot.enable = true; 30 30 - # }; 31 31 - boot.loader.grub.enable = false; 32 32 - boot.loader.generic-extlinux-compatible.enable = true; 33 33 - 34 34 - # Required for the Wireless firmware 35 35 - hardware.enableRedistributableFirmware = true; 36 36 - 37 37 - networking.interfaces.eth0.useDHCP = true; 38 38 - 39 39 - # Assuming this is installed on top of the disk image. 40 40 - fileSystems = { 41 41 - "/" = { 42 42 - device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888"; 43 43 - fsType = "ext4"; 44 44 - options = [ "noatime" ]; 45 45 - }; 46 46 - }; 47 47 - 48 48 - powerManagement.cpuFreqGovernor = "ondemand"; 49 49 - }