Hi! I read that development ist struggeling with long kernel build times right now and as a former gentoo kid, I feel somewhat qualified to help with that. I had a look at the current way, nixos is building the kernel and I think it's somewhat over engineered for spectrums needs right now, so I propose to do the following: * Exctract the current generic kernel .config from nixos * make menuconfig with that on a generic linux kernel of the version currently used in spectrum and remove as many modules as I can * Circumvent the current nixos kernel configuration pretty much entirely and supply the kernel .config by adding it directly to the git repository for faster iteration When a more elaborate kernel configuration scheme is needed again in the future, the nixos one is still there and can be properly ported to spectrums needs but right now I feel like it would only slow the process down. However I don't have much experience with the code, so when I get told here that it's probably better to keep closer to nixpkgs, I'll give my best with that, too. Philipp