欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
eCos (Embedded Configurable Operating System) 是一个源码公开、功能完备和完全免费的嵌入式实时操作系统,它的实时性、高度可配置性、可移植性、可裁剪性使其可以满足各类16位、32位和64位嵌入式系统设计和开发的需求。