seL4微内核设计针对实时应用,可潜在应用于强调安全和实时性