pktgen-turull nix develop .#pktgen-kmod make $makeFlags You may load the kernel source we compile against via nix develop --unpack .#referenceKernel.