diff options
Diffstat (limited to 'machines/rpi3-amadeus/configuration.nix')
-rw-r--r-- | machines/rpi3-amadeus/configuration.nix | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/machines/rpi3-amadeus/configuration.nix b/machines/rpi3-amadeus/configuration.nix index 5a715f6..ba9ff57 100644 --- a/machines/rpi3-amadeus/configuration.nix +++ b/machines/rpi3-amadeus/configuration.nix @@ -5,6 +5,14 @@ ]; # NixOS wants to enable GRUB by default boot.loader.grub.enable = false; + boot.loader.raspberryPi = { + enable = true; + version = 3; + uboot.enable = true; + firmwareConfig = '' + gpu_mem=256 + ''; + }; # Enables the generation of /boot/extlinux/extlinux.conf boot.loader.generic-extlinux-compatible.enable = true; @@ -17,6 +25,9 @@ # On a Raspberry Pi 4 with 4 GB, you should either disable this parameter or increase to at least 64M if you want the USB ports to work. boot.kernelParams = ["cma=32M"]; + hardware.enableRedistributableFirmware = true; + hardware.firmware = with pkgs; [ raspberrypifw ]; + # File systems configuration for using the installer's partition layout fileSystems = { "/" = { @@ -35,7 +46,8 @@ swapDevices = [ { device = "/swapfile"; size = 1024; } ]; environment.systemPackages = with pkgs; [ - vim git curl wget usbutils + vim git curl wget + libraspberrypi ]; users.users.pi = { @@ -43,4 +55,10 @@ home = "/home/pi"; extraGroups = [ "wheel" "networkmanager" ]; }; + services.xserver = { + enable = true; + displayManager.startx.enable = true; + libinput.enable = true; + }; + } |