Utilities for building rump kernels - View it on GitHub