You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
49 lines
1.2 KiB
49 lines
1.2 KiB
# This file is controlled by /etc/dotfiles/README.org
|
|
{ config, pkgs, lib, inputs, ... }:
|
|
|
|
{
|
|
# imports = [
|
|
# inputs.nixos-hardware.nixosModules.raspberry-pi-4
|
|
# ];
|
|
|
|
# boot.kernelPackages = pkgs.linuxPackages_rpi4;
|
|
boot.tmpOnTmpfs = true;
|
|
boot.initrd.availableKernelModules = [ "usbhid" "usb_storage" ];
|
|
boot.kernelParams = [
|
|
"8250.nr_uarts=1"
|
|
"console=ttyAMA0,115200"
|
|
"console=tty1"
|
|
"cma=128M"
|
|
];
|
|
|
|
boot.loader.grub.enable = false;
|
|
boot.loader.generic-extlinux-compatible.enable = true;
|
|
boot.loader.raspberryPi = {
|
|
enable = true;
|
|
version = 4;
|
|
firmwareConfig = ''
|
|
hdmi_drive=2
|
|
hdmi_force_hotplug=1
|
|
dtparam=sd_poll_once=on
|
|
dtparam=audio=on
|
|
'';
|
|
};
|
|
|
|
# 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;
|
|
|
|
fileSystems = {
|
|
"/" = {
|
|
device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888";
|
|
fsType = "ext4";
|
|
options = [ "noatime" ];
|
|
};
|
|
};
|
|
|
|
powerManagement.cpuFreqGovernor = "ondemand";
|
|
}
|