Builder is the system that builds automatically both iPXE binaries and the images for booting through iPXE.
You can go to builds.isardvdi.com and browse the NixOS images that iPXE clients are going to boot when using isard-ipxe.
Huge thanks to clever and all the people of #nixos at Freenode.