Finish to `Kernel Extensions`