nixpkgs/nixos/modules/system
..
activation
boot
etc