OpenHarmony开发者论坛

标题: 形式化微内核具体指的是什么？ [打印本页]

作者: ansonxue 时间: 2024-9-19 13:37
标题: 形式化微内核具体指的是什么？
[md]什么是形式化微内核，如果是基于Linux内核，那如何理解微内核，又怎么理解构架于微内核之上的安全性呢？
[/md]

欢迎光临 OpenHarmony开发者论坛 (https://forums.openharmony.cn/)