Microkernel: Deprecate this