4 ms·Microkernel Goes General: The HongMeng Production Microkernel [pdf]3 points by 082349872349872 2y ago