Sunday, May 9, 2021

OSCHINA 社区最新专区文章

OSCHINA 社区最新专区文章

木兰开源社区技术委员会在北京成立

Posted: 09 May 2021 07:10 PM PDT

2021年5月7日，木兰开源社区技术委员会在北京成立。 木兰开源社区以服务科技成果开源创新为核心，秉承立足中国，面向国际的原则，联合产学研用各方推进开源社区运营和治理工作。木兰开源社区首批技术委员会成员由来自北京大学、国防科技大学、上海交通大学、华东师范大学、阿里云、华为、英特尔、蚂蚁金服、腾讯的9位开源...

RISC-V 和 seL4 基金会宣布新的安全里程碑

Posted: 09 May 2021 05:15 PM PDT

旧金山，2021 年 5 月 5 日——今天，seL4 基金会和 RISC-V International 宣布，在 CSIRO 的 Data61 中，经过验证的 RV64 架构上的 seL4 微内核已经被证明到可执行代码，这要感谢 HENSOLDT Cyber GmbH 提供的资金。这保证了 RV64 上的 seL4 微内核即使是用不可信的 C 编译器 GCC 构建的，也能按照规范操作。 在开放协作...
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)