43 lines
		
	
	
		
			792 B
		
	
	
	
		
			Nix
		
	
	
	
	
	
			
		
		
	
	
			43 lines
		
	
	
		
			792 B
		
	
	
	
		
			Nix
		
	
	
	
	
	
{ 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
 | 
						|
      '';
 | 
						|
      }
 | 
						|
      ];
 | 
						|
    */
 | 
						|
  };
 | 
						|
}
 |