2022-09-27 22:07:46 +02:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
boot = {
|
2022-09-28 13:54:01 +02:00
|
|
|
binfmt = {
|
|
|
|
emulatedSystems = [
|
|
|
|
"aarch64-linux"
|
|
|
|
];
|
|
|
|
};
|
|
|
|
|
|
|
|
kernelPackages = lib.mkDefault pkgs.linuxPackages;
|
2022-09-27 22:07:46 +02:00
|
|
|
cleanTmpDir = true;
|
|
|
|
|
|
|
|
loader = {
|
|
|
|
efi = {
|
|
|
|
canTouchEfiVariables = true;
|
|
|
|
};
|
|
|
|
|
2022-09-29 15:40:30 +02:00
|
|
|
grub = {
|
2022-09-27 22:07:46 +02:00
|
|
|
enable = true;
|
2022-09-29 15:40:30 +02:00
|
|
|
version = 2;
|
|
|
|
device = "nodev";
|
|
|
|
efiSupport = true;
|
2022-09-27 22:07:46 +02:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
kernelModules = [
|
|
|
|
"kvm-intel"
|
|
|
|
];
|
|
|
|
|
|
|
|
extraModulePackages = [
|
|
|
|
|
|
|
|
];
|
|
|
|
|
|
|
|
initrd = {
|
|
|
|
availableKernelModules = [
|
|
|
|
"ahci"
|
2022-09-29 15:40:30 +02:00
|
|
|
"atkbd"
|
2022-09-27 22:07:46 +02:00
|
|
|
"rtsx_pci_sdmmc"
|
2022-09-29 15:40:30 +02:00
|
|
|
"sd_mod"
|
2022-10-04 13:58:14 +02:00
|
|
|
"usb_storage"
|
2022-09-29 15:40:30 +02:00
|
|
|
"xhci_pci"
|
2022-09-27 22:07:46 +02:00
|
|
|
];
|
|
|
|
|
|
|
|
kernelModules = [
|
|
|
|
"dm-snapshot"
|
|
|
|
];
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|