Experimental Nix expression/script for building Fiasco.OC microkernel and L4 Runtime Environment (L4Re) - View it on GitHub