f9-kernel,一种高效安全的ARMCortex核微内核,由L4微内核ThisF9是一个实验微内核,用于构建由著名的L4微内核的灵活的嵌入式系统。F9微内核的动机是部署现代内核技术,支持运行实时和时间共享应用程序((例如无线通信)),高效的(性能功耗)和安全的(内存保护独立执