Use specific Linux kernels

This commit is contained in:
Tibo De Peuter 2023-11-14 21:17:35 +01:00
parent 69ff446a04
commit be4fc18caa
2 changed files with 12 additions and 5 deletions

View file

@ -35,13 +35,17 @@
virtualisation.virtualbox.enable = true; virtualisation.virtualbox.enable = true;
}; };
boot.loader = { boot = {
kernelPackages = pkgs.linuxPackages_hardened;
loader = {
systemd-boot.enable = true; systemd-boot.enable = true;
efi = { efi = {
canTouchEfiVariables = true; canTouchEfiVariables = true;
efiSysMountPoint = "/boot/efi"; efiSysMountPoint = "/boot/efi";
}; };
}; };
};
environment.systemPackages = with pkgs; [ environment.systemPackages = with pkgs; [
git git

View file

@ -47,6 +47,8 @@
}; };
}; };
kernelPackages = pkgs.linuxPackages_hardened;
# Use the systemd-boot EFI boot loader.] # Use the systemd-boot EFI boot loader.]
loader = { loader = {
systemd-boot.enable = true; systemd-boot.enable = true;
@ -66,6 +68,7 @@
]; ];
programs = { programs = {
steam.enable = true;
zsh.enable = true; zsh.enable = true;
}; };