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