2024-05-03 21:32:27 +00:00
|
|
|
# Raspberry Pi 4B
|
2024-02-29 14:53:34 +00:00
|
|
|
# See https://nixos.wiki/wiki/NixOS_on_ARM/Raspberry_Pi_4
|
2024-05-07 22:02:59 +00:00
|
|
|
{
|
|
|
|
config,
|
|
|
|
lib,
|
|
|
|
pkgs,
|
|
|
|
modulesPath,
|
|
|
|
nixos-hardware,
|
|
|
|
...
|
|
|
|
}:
|
2024-02-29 14:53:34 +00:00
|
|
|
|
|
|
|
{
|
2024-05-07 22:02:59 +00:00
|
|
|
imports = [ (modulesPath + "/installer/scan/not-detected.nix") ];
|
|
|
|
|
|
|
|
boot.loader = lib.mkForce {
|
|
|
|
grub.enable = false;
|
|
|
|
generic-extlinux-compatible.enable = true;
|
|
|
|
};
|
|
|
|
|
|
|
|
#boot.kernelParams = [
|
|
|
|
# "console=serial0,115200n8"
|
|
|
|
#];
|
|
|
|
|
|
|
|
fileSystems."/" = {
|
|
|
|
device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888";
|
|
|
|
fsType = "ext4";
|
|
|
|
};
|
|
|
|
|
|
|
|
swapDevices = [
|
|
|
|
{
|
|
|
|
device = "/swapfile";
|
|
|
|
size = 2048;
|
|
|
|
}
|
|
|
|
];
|
|
|
|
|
|
|
|
hardware.enableRedistributableFirmware = true;
|
|
|
|
networking.wireless.enable = true;
|
|
|
|
|
|
|
|
hardware = {
|
|
|
|
raspberry-pi."4" = {
|
|
|
|
apply-overlays-dtmerge.enable = true;
|
|
|
|
};
|
|
|
|
|
|
|
|
deviceTree = {
|
|
|
|
enable = true;
|
|
|
|
filter = "*rpi-4-*.dtb";
|
|
|
|
};
|
|
|
|
};
|
2024-02-29 14:53:34 +00:00
|
|
|
}
|