Essential reading for anyone curious about the microkernel architecture in recent versions of HarmonyOS: https://www.usenix.org/system/files/osdi24-chen-haibo.pdf
Essential reading for anyone curious about the microkernel architecture in recent versions of HarmonyOS: https://www.usenix.org/system/files/osdi24-chen-haibo.pdf