config.nix-- defines a NixOS configuration identical to the minimal ISO image available on the NixOS download page, except perhaps fornixpkgsversion, and except for a few tweaks I've made for myselfbuild.sh-- turnsconfig.nixinto a.isofileflash.sh-- buils the.isoand then flashes it onto a block device (such as a USB)