We don't have a dns server for the lab infra for now. Later we will
probably reintroduce the tooling for our dns server. This will be good
for people to get into understanding the main infra repository.
Several stuff are broken in the generation of the iso:
- Impure (using nixpkgs in user nix_path)
- Using a software which is just a wrpper around nixpkgs
- Raid stuff is kinda broken (depend on the version of nixpkgs you use,
going back to impurity stated above)
