seL4操作系统内核认领

seL4 是一个安全操作系统内核，旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。seL4 是 L4 微内核家族的成员，它为系统中运行的应用