restrict board options

This commit is contained in:
Travis Staton 2024-07-26 08:50:52 -04:00
parent cc48d16dd4
commit 3375c37c2c
2 changed files with 4 additions and 4 deletions

View file

@ -43,7 +43,7 @@ let
]; ];
}; };
}; };
boards = [ "bcmrpi" "bcm2709" "bcmrpi3" "bcm2711" "bcm2712" ]; boards = [ "bcm2711" "bcm2712" ];
# Helpers for building the `pkgs.rpi-kernels' map. # Helpers for building the `pkgs.rpi-kernels' map.
rpi-kernel = { version, board }: rpi-kernel = { version, board }:

View file

@ -18,7 +18,7 @@ in
description = "Kernel version to build."; description = "Kernel version to build.";
}; };
board = mkOption { board = mkOption {
type = types.str; type = types.enum [ "bcm2711" "bcm2712" ];
description = '' description = ''
The kernel board version to build. The kernel board version to build.
Examples at: https://www.raspberrypi.com/documentation/computers/linux_kernel.html#native-build-configuration Examples at: https://www.raspberrypi.com/documentation/computers/linux_kernel.html#native-build-configuration
@ -333,8 +333,8 @@ in
}; };
hardware.enableRedistributableFirmware = true; hardware.enableRedistributableFirmware = true;
users.groups = builtins.listToAttrs (map (k: { name = k; value = {}; }) users.groups = builtins.listToAttrs (map (k: { name = k; value = { }; })
["input" "sudo" "plugdev" "games" "netdev" "gpio" "i2c" "spi"]); [ "input" "sudo" "plugdev" "games" "netdev" "gpio" "i2c" "spi" ]);
services = { services = {
udev.extraRules = udev.extraRules =
let shell = "${pkgs.bash}/bin/bash"; let shell = "${pkgs.bash}/bin/bash";