464 OneOS/OneOS GVP

OneOS是中国移动针对物联网领域推出的轻量级操作系统，具有可裁剪、跨平台、低功耗、高安全等特点，支持ARM Cortex-M/R/A、MIPS、RISC-V等主流CPU架构，兼容POSIX、CMSIS等标准接口，支持Micropython语言开发，提供图形化开发工具，能够有效提高开发效率并降低开发成本，帮助客户开发稳定可靠、安全易用的物联网应用。 官网地址：https://os.iot.10086.cn/

79 天演动力/M5P01_Prokaron

One OS是一个专注于可靠性和简易可用的小型实时系统。它通过采取形式化方法来确保系统的可靠性。

4.7K idea4good/GuiLite GVP

㊙4千行，仅头文件，全平台 GUI库；适用于：物联网、嵌入式、单片机、桌面应用。

32 yinbaiyuan/Dot2d_esp32

本项目是一个基于cocos2d-x，移植到单片机ESP32的实例。

501 hihopeorg/HarmonyOS-IoT-Application-Development

《Harmony OS物联网应用开发实战》课程资料（包含代码，基于HiSpark WiFi IoT套件）

38 Gitee 极速下载/freertos

210 Gitee 极速下载/GuiLite

超轻量 UI 框架 - GuiLite 是由6千行左右的 C/C++ 代码编写而成

43 laokz/seL4内核参考手册

seL4内核参考手册中文翻译