@yang_jun_yi
杨竣轶 暂无简介
The openEuler kernel is the core of the openEuler OS, serving as the foundation of system performance and stability and a bridge between processors, devices, and services.
sel4 VMM...
A hypervisor for armv8 by rust.
capdl from github sel4
seL4内核参考手册中文翻译