1edf99d Most of Kernel will need to be public at first.