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
Contributions last year: 0
Max continuous contributions: 0
Recent contributions: 0
Commits, issues, and pull requests will appear on your contribution graph. Only when the email address used for the commits in local configuration is associated with your GitOSC account, the commits' contribution will be counted.