OpenHarmony 开发者论坛

发布

ansonxue 关注

Lv0

粉丝0

积分5 / 贡献0

提问3答案被采纳0文章0

作者动态

09月19日发布了 TEE的一些疑问
09月19日发布了内核优化

查看作者主页

如何玩转论坛？

推荐问题

设备授权验证功能、软证书认证问题

怎么混淆hap文件引用的har源码

【内核编译】：请教一下内核如何使用llvm编译

OpenHarmony是否有webserver组件

是否有办法减少rk3568全量编译生成image的时间？

热门标签更多>>

ArkUI 华中科技大学 JS/ArkTS三方库上海交通大学扫描仪数据管理游戏开发与优化图形与渲染西安电子科技大学打印机

0赞

0踩

收藏

微信扫一扫

举报

形式化微内核具体指的是什么？

ansonxue 显示全部楼层 发表于昨天 13:37

什么是形式化微内核，如果是基于Linux内核，那如何理解微内核，又怎么理解构架于微内核之上的安全性呢？

相关帖子

无用

您尚未登录，无法参与评论，登录后可以:

参与开源共建问题交流

认同或收藏高质量问答

获取积分成为开源共建先驱

Copyright ©2023 OpenHarmony开发者论坛京ICP备2020036654号-3 |技术支持 Discuz!

返回顶部