Popular repositories

1. apollo apollo Public

   Forked from ApolloAuto/apollo

   An open autonomous driving platform

   C++

2. apollo-kernel apollo-kernel Public

   Forked from ApolloAuto/apollo-kernel

   Collections of Apollo Kernels

   Shell

3. FreeRTOS-Kernel FreeRTOS-Kernel Public

   Forked from FreeRTOS/FreeRTOS-Kernel

   FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

   C

4. rt-thread rt-thread Public

   Forked from RT-Thread/rt-thread

   RT-Thread is an open source IoT operating system.

   C 1

5. AliOS-Things AliOS-Things Public

   Forked from alibaba/AliOS-Things

   面向IoT领域的、高可伸缩的物联网操作系统，可去官网了解更多信息https://www.aliyun.com/product/aliosthings

   C

6. seL4 seL4 Public

   Forked from seL4/seL4

   The seL4 microkernel

   C