Basic nixos configuration files