由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

microkernel

话题找到数量

RT-Thread/rt-thread

C

RT-Thread 是一款开源的物联网实时操作系统（RTOS）。https://rt-thread.github.io/rt-thread/

aiot arm cortex-a
RT-Thread
RT-Thread 开发者
12k
5.4k
872
+4
排名 #19
7月8日
查看详情

seL4/seL4

C

The seL4 microkernel

microkernel os sel4
seL4
seL4 开发者
5.6k
774
203
+10
排名 #8
6月15日
查看详情
助手