Kernel manager: support compilation