{ config, pkgs, ... }: { boot = { consoleLogLevel = 7; kernelParams = [ "console=ttyS0,115200n8" "console=ttyAMA0,115200n8" "console=tty0" ]; kernelPackages = pkgs.linuxPackages_5_10; initrd.availableKernelModules = [ "xhci_pci" "usb_storage" "usbhid" "uas" "pcie-brcmstb" "vc4" ]; loader = { grub.enable = false; generic-extlinux-compatible.enable = true; /* raspberryPi= { version = 4; firmwareConfig = "dtparam=sd_poll_once=on"; enable = true; }; */ }; /* kernelPatches = [ { name = "change-pgtable"; patch = null; extraConfig = '' CONFIG_PGTABLE_LEVELS 4 ''; } ];*/ }; }