33 lines
955 B
Nix
33 lines
955 B
Nix
|
{ config, pkgs, lib, ... }:
|
||
|
{
|
||
|
imports = [
|
||
|
<stockholm/krebs>
|
||
|
];
|
||
|
# NixOS wants to enable GRUB by default
|
||
|
boot.loader.grub.enable = false;
|
||
|
# Enables the generation of /boot/extlinux/extlinux.conf
|
||
|
boot.loader.generic-extlinux-compatible.enable = true;
|
||
|
|
||
|
# !!! If your board is a Raspberry Pi 1, select this:
|
||
|
boot.kernelPackages = pkgs.linuxPackages_rpi;
|
||
|
|
||
|
nix.binaryCaches = [ "http://nixos-arm.dezgeg.me/channel" ];
|
||
|
nix.binaryCachePublicKeys = [ "nixos-arm.dezgeg.me-1:xBaUKS3n17BZPKeyxL4JfbTqECsT+ysbDJz29kLFRW0=%" ];
|
||
|
|
||
|
# !!! Needed for the virtual console to work on the RPi 3, as the default of 16M doesn't seem to be enough.
|
||
|
# boot.kernelParams = ["cma=32M"];
|
||
|
|
||
|
fileSystems = {
|
||
|
"/boot" = {
|
||
|
device = "/dev/disk/by-label/NIXOS_BOOT";
|
||
|
fsType = "vfat";
|
||
|
};
|
||
|
"/" = {
|
||
|
device = "/dev/disk/by-label/NIXOS_SD";
|
||
|
fsType = "ext4";
|
||
|
};
|
||
|
};
|
||
|
|
||
|
swapDevices = [ { device = "/swapfile"; size = 1024; } ];
|
||
|
}
|