Probably won't be micro-kernel for a while