OpenHarmony 开发者论坛

发布

ansonxue 关注

Lv1

粉丝0

积分5 / 贡献0

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

作者动态

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

查看作者主页

如何玩转论坛？

推荐问题

使用DevEco Studio（版本为5.0.0 Release），创建一个emtptyAbility，把工程的runtimOS改为OpenHarmony，相应sdk版本改为10, 构建工程，可以成功构建，但安装到主板（sdk版本10），结构报错，结果报错：

如何使用napi加载并调用现有的so库接口

OpenHarmony5.0.1-release卡在logo界面，无法进入开机动画界面，自动重启。

纯内网环境，使用ohpm管理依赖包遇到了问题

适配rk3566出现的二级启动出现问题

热门标签更多>>

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

0赞

0踩

收藏

微信扫一扫

举报

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

ansonxue 显示全部楼层 发表于 2024-9-19 13:37:14

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

相关帖子

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

参与开源共建问题交流

认同或收藏高质量问答

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

Copyright ©2025 OpenHarmony开发者论坛京ICP备2020036654号-3 | 京公网安备11030102011662号 |技术支持 Discuz!

返回顶部