Linked Presentation: Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication
