mio-ops/hardware/raspberry_pi_3_model_B.nix

80 lines
2.4 KiB
Nix
Raw Normal View History

2019-06-26 13:25:32 +00:00
# Configuration common to all Raspberry Pi 3 Model B devices
{ config, pkgs, lib, ... }:
{
2019-10-15 15:22:23 +00:00
2019-10-15 23:21:58 +00:00
boot = {
initrd = {
availableKernelModules = [
2020-03-09 14:00:17 +00:00
"bcm2835_dma" # Allows early (earlier) mode setting
"i2c_bcm2835" # Allows early (earlier) mode setting
2019-10-15 23:21:58 +00:00
"usbhid"
"usb_storage"
2020-03-09 14:00:17 +00:00
"vc4" # Allows early (earlier) mode setting
2019-10-15 23:21:58 +00:00
];
};
2021-01-07 00:09:42 +00:00
# !!! Do select not latest (5.8 at the time) as it is currently broken
# !!! (see https://github.com/NixOS/nixpkgs/issues/97064)
2021-06-04 00:32:51 +00:00
kernelPackages = pkgs.linuxPackages_5_4; # For a Raspberry Pi 2 or 3)
2019-10-17 01:50:37 +00:00
kernelParams = [
2019-10-17 01:56:29 +00:00
"cma=32M" # Needed for the virtual console to work on the RPi 3
2020-03-09 14:00:17 +00:00
"console=ttyS0,115200n8" # Enable the serial console
"console=tty0"
2019-10-17 01:50:37 +00:00
];
2019-10-15 23:21:58 +00:00
loader = {
generic-extlinux-compatible = {
enable = true; # Enables the generation of /boot/extlinux/extlinux.conf
};
grub = {
enable = false; # NixOS wants to enable GRUB by default.
};
raspberryPi = {
enable = true;
version = 3;
uboot.enable = true;
2019-10-17 03:52:29 +00:00
firmwareConfig = ''
2019-10-17 03:56:15 +00:00
arm_64bit=1 # Force kernel loading system to assume a 64-bit kernel
hdmi_force_hotplug=1 # Enable headless booting
2019-10-17 03:52:29 +00:00
'';
2019-10-15 23:21:58 +00:00
};
};
};
2019-06-26 13:25:32 +00:00
# File systems configuration for using the installer's partition layout
fileSystems = {
"/" = {
device = "/dev/disk/by-label/NIXOS_SD";
fsType = "ext4";
};
2020-03-09 14:00:17 +00:00
"/boot/firmware" = {
device = "/dev/disk/by-label/FIRMWARE";
fsType = "vfat";
# Alternatively, this could be removed from the configuration.
# The filesystem is not needed at runtime, it could be treated
# as an opaque blob instead of a discrete FAT32 filesystem.
options = [ "nofail" "noauto" ];
};
2021-01-07 00:09:42 +00:00
#"/var" = {
# device = "/dev/disk/by-label/var";
# fsType = "ext4";
#};
2019-06-26 13:25:32 +00:00
};
# !!! Adding a swap file is optional, but strongly recommended!
swapDevices = [ { device = "/swapfile"; size = 1024; } ];
2019-10-15 23:21:58 +00:00
hardware = {
enableRedistributableFirmware = true; # Enable support for Pi firmware blobs
};
2019-06-26 13:25:32 +00:00
2019-10-16 01:54:23 +00:00
networking = {
enableB43Firmware = false; # If true, enable Pi wireless firmware
};
environment.systemPackages = with pkgs; [
2021-06-04 00:32:51 +00:00
libraspberrypi # Userland tools for the Raspberry Pi board
];
2019-06-26 13:25:32 +00:00
}