基于事件总线的嵌入式操作系统。QQ群：667432915。

seL4内核参考手册中文翻译

md5、aes、3des加密和解密算法

STM32F1工程模板，运行OSAL操作系统，基于linux-arm-gcc交叉编译环境开发，编译器版本gcc-arm-none-eabi-5_4-2016q2

About QP/C ========== QP/C is an event-driven, RTOS-like, active object framework for microcontrollers. The QP/C framework provides thread-safe execution of active objects (concurrent state machines) and supports both manual and automatic coding of UML statecharts in readable, production-quality ANSI-C. Automatic code generation for QP/C applications, compliant with the MISRA-C:2004 guidelines, is provided by the free QM modeling tool.

QPC国内镜像