One OS是一个专注于可靠性和简易可用的小型实时系统。它通过采取形式化方法来确保系统的可靠性。
An capability-based microkernel general-purpose operating system focusing on scalability, predictability, mixed-criticality and recoverability. THIS PROJECT IS IN PREVIEW STATE CURRENTLY
A virtual machine monitor for MCUs, as well as a MCU-oriented user-level library for M7M1. THE ENGLISH MANUAL IS CURRENTLY UNAVAILABLE
项目所使用的一切库文件
Small yet powerful state machine coroutine library
Simple general-purpose embedded system code coverage test tool
最近一年贡献:0 次
最长连续贡献:0 日
最近连续贡献:0 日
贡献度的统计数据包括代码提交、创建任务 / Pull Request、合并 Pull Request,其中代码提交的次数需本地配置的 git 邮箱是 Gitee 帐号已确认绑定的才会被统计。