Rodrigo Arias Mallo
f74ec2bce1
To accomodate the raccoon knights workstation, some of the configuration pulled by m/common/main.nix has to be removed. To solve it, the xeon specific parts are placed into m/common/xeon.nix and only the common configuration is at m/common/base.nix. Reviewed-by: Aleix Roca Nonell <aleix.rocanonell@bsc.es>
40 lines
958 B
Nix
40 lines
958 B
Nix
{ lib, pkgs, ... }:
|
|
|
|
{
|
|
# Use the GRUB 2 boot loader.
|
|
boot.loader.grub.enable = true;
|
|
|
|
# Enable GRUB2 serial console
|
|
boot.loader.grub.extraConfig = ''
|
|
serial --unit=0 --speed=115200 --word=8 --parity=no --stop=1
|
|
terminal_input --append serial
|
|
terminal_output --append serial
|
|
'';
|
|
|
|
# Enable serial console
|
|
boot.kernelParams = [
|
|
"console=tty1"
|
|
"console=ttyS0,115200"
|
|
];
|
|
|
|
boot.kernel.sysctl = {
|
|
"kernel.perf_event_paranoid" = lib.mkDefault "-1";
|
|
};
|
|
|
|
boot.kernelPackages = pkgs.linuxPackages_latest;
|
|
|
|
#boot.kernelPatches = lib.singleton {
|
|
# name = "osnoise-tracer";
|
|
# patch = null;
|
|
# extraStructuredConfig = with lib.kernel; {
|
|
# OSNOISE_TRACER = yes;
|
|
# HWLAT_TRACER = yes;
|
|
# };
|
|
#};
|
|
|
|
boot.initrd.availableKernelModules = [ "ahci" "xhci_pci" "ehci_pci" "nvme" "usbhid" "sd_mod" ];
|
|
boot.initrd.kernelModules = [ ];
|
|
boot.kernelModules = [ "kvm-intel" ];
|
|
boot.extraModulePackages = [ ];
|
|
}
|