一、什么是sel4 1、Sel4是基于微内核的一个操作系统，它是一款高度安全性的系统，同时也具备高可靠性、高扩展性的特点。 2、sel4是来自于澳大利亚国立大学工程学院NICTA研…