微内核_微内核技术文章

微内核

0 人感兴趣 · 5 次引用

关注

2021-10-14

最近在讨论产品架构时，提到了微内核架构设计。之前对这个概念有过了解，但没有深入研究。借此机会对微内核架构做一次相对系统、全面的了解，作为架构知识储备。

2021-09-23

9月16日下午，seL4基金会主席、悉尼新南威尔士大学教授Gernot Heiser，以及鉴释CEO梁宇宁，围绕下一代汽车操作系统微内核seL4，在直播间分享了seL4的验证故事及其实际的工程实践，此次直播是中英双语进行，也体现了鉴释的国际化趋势。

2021-09-15

本次研讨会，我们很荣幸的邀请到seL4基金会主席、悉尼新南威尔士大学教授 Gernot Heiser 跟大家分享他的见解和研究成果。

2021-04-28

此前在华为Mate X2发布会上，华为表示鸿蒙系统将于今年4月与大家正式见面。而就在昨天，也就是4月27号，鸿蒙系统终于推送升级了，花粉狂喜，黑粉狂喷。

2020-12-28

这两个还是有何不同？