Linux kernel - NixOS Wiki
nixos.wiki