Fixed: Kernel Packages

This commit is contained in:
2026-02-11 20:52:39 +01:00
parent e2bd37f25d
commit 443a35337f
6 changed files with 96 additions and 50 deletions

View File

@@ -1,4 +1,11 @@
{ config, pkgs, inputs, self, primaryUser, ... }:
{
config,
pkgs,
inputs,
self,
primaryUser,
...
}:
{
imports = [
@@ -8,12 +15,23 @@
];
nixpkgs.config.allowUnfree = true;
networking = {
hostName = "rpi-4";
networkmanager.enable = true;
# Override python-lsp-server to skip tests (flaky tests cause timeout)
nixpkgs.config.packageOverrides = pkgs: {
python3 = pkgs.python3.override {
packageOverrides = self: super: {
python-lsp-server = super.python-lsp-server.overridePythonAttrs (old: {
doCheck = false;
});
};
};
};
networking = {
hostName = "rpi-4";
networkmanager.enable = true;
};
# SSH configuration
services.openssh = {
enable = true;
@@ -26,7 +44,10 @@
isNormalUser = true;
home = "/home/${primaryUser}";
description = "Phil";
extraGroups = [ "wheel" "networkmanager" ];
extraGroups = [
"wheel"
"networkmanager"
];
shell = pkgs.fish;
};
@@ -37,9 +58,13 @@
# Nix settings
nix = {
settings = {
experimental-features = [ "nix-command" "flakes" ];
experimental-features = [
"nix-command"
"flakes"
];
auto-optimise-store = true;
builders-use-substitutes = true;
trusted-substituters = [ "ssh://phil@192.168.2.40" ];
};
gc = {
automatic = true;
@@ -47,17 +72,22 @@
options = "--delete-older-than 30d";
};
buildMachines = [
{
hostName = "192.168.2.40";
system = "aarch64-linux";
sshUser = "phil";
maxJobs = 4;
speedFactor = 2;
supportedFeatures = ["nixos-test" "benchmark" "big-parallel" "kvm"];
mandatoryFeatures = [ ];
}
{
hostName = "192.168.2.40";
system = "aarch64-linux";
sshUser = "phil";
maxJobs = 4;
speedFactor = 2;
supportedFeatures = [
"nixos-test"
"benchmark"
"big-parallel"
"kvm"
];
mandatoryFeatures = [ ];
}
];
};
system.stateVersion = "24.11";
system.stateVersion = "25.11";
}

View File

@@ -1,4 +1,10 @@
{ config, lib, pkgs, modulesPath, ... }:
{
config,
lib,
pkgs,
modulesPath,
...
}:
{
imports = [
@@ -7,10 +13,16 @@
# Bootloader
boot = {
kernelPackages = pkgs.linuxPackages_rpi4;
initrd.availableKernelModules = [ "xhci_pci" "usbhid" "usb_storage" ];
loader.generic-extlinux-compatible.enable = true;
kernelParams = [ "console=ttyS0,115200n8" ];
#kernelPackages = pkgs.linuxPackages_rpi4;
kernelPackages = pkgs.linuxPackages_latest;
initrd.availableKernelModules = [
"xhci_pci"
"usbhid"
"usb_storage"
];
loader.generic-extlinux-compatible.enable = true;
kernelParams = [ "console=ttyS0,115200n8" ];
supportedFilesystems = lib.mkForce [ "ext4" ];
};
# File systems
@@ -21,10 +33,12 @@
};
# Swap
swapDevices = [{
device = "/swapfile";
size = 4096;
}];
swapDevices = [
{
device = "/swapfile";
size = 4096;
}
];
# RPi 4 specific hardware
hardware.enableRedistributableFirmware = true;