|
|
@ -676,11 +676,11 @@ This section is very much a work in progress. I have struggled to get this devic |
|
|
|
{ config, pkgs, lib, inputs, ... }: |
|
|
|
|
|
|
|
{ |
|
|
|
imports = [ |
|
|
|
inputs.nixos-hardware.nixosModules.raspberry-pi-4 |
|
|
|
]; |
|
|
|
# imports = [ |
|
|
|
# inputs.nixos-hardware.nixosModules.raspberry-pi-4 |
|
|
|
# ]; |
|
|
|
|
|
|
|
boot.kernelPackages = pkgs.linuxPackages_rpi4; |
|
|
|
# boot.kernelPackages = pkgs.linuxPackages_rpi4; |
|
|
|
boot.tmpOnTmpfs = true; |
|
|
|
boot.initrd.availableKernelModules = [ "usbhid" "usb_storage" ]; |
|
|
|
boot.kernelParams = [ |
|
|
@ -703,10 +703,13 @@ This section is very much a work in progress. I have struggled to get this devic |
|
|
|
''; |
|
|
|
}; |
|
|
|
|
|
|
|
# FIXME: Requires GPU support. |
|
|
|
services.xserver.videoDrivers = [ "fbdev" ]; |
|
|
|
|
|
|
|
sound.enable = true; |
|
|
|
hardware.pulseaudio.enable = true; |
|
|
|
hardware.enableRedistributableFirmware = true; |
|
|
|
hardware.raspberry-pi."4".fkms-3d.enable = true; |
|
|
|
# hardware.raspberry-pi."4".fkms-3d.enable = true; |
|
|
|
|
|
|
|
fileSystems = { |
|
|
|
"/" = { |
|
|
|