Distributed Hardware-Based Microkernels: Making Heterogeneous OS Functionality a System Primitive | IEEE Conference Publication | IEEE Xplore