Co-occurring keywords · papers mentioning both
Papers
μShell: A Microkernel-based FPGA Shell Architecture
OSDI 2026
MettEagle: Costs and Benefits of Implementing Containers on Microkernels
OSDI 2025
Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel
OSDI 2024