欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Zephyr Project
来自开放百科 - 灰狐
Linux基金会微内核项目Zephyr,采用Apache v2许可协议。
目录 |
简介
Zephyr微内核将被用于开发针对物联网设备的实时操作系统(RTOS)。
Zephyr项目得到了英特尔、 NXP半导体、Synopsys和UbiquiOS等公司的支持,英特尔子公司Wind River向Zephyr项目捐赠了它的Rocket RTOS内核。Wind River的Rocket RTOS将转变成基于Zephyr内核的下游商业发行版。Zephyr微内核能运行在只有10KB RAM的32位微控制器上,相比之下基于Linux的微控制器项目uClinux需要200KB RAM。
指南
图集
链接
分享您的观点