A tool to extract kernels from programs - View it on GitHub