Hack to make microkernels work