一、什麼是sel4 1、Sel4是基於微內核的一個操作系統，它是一款高度安全性的系統，同時也具備高可靠性、高擴展性的特點。 2、sel4是來自於澳大利亞國立大學工程學院NICTA研…