f9micro /f9-kernel
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
C768
real-time-kernel 开源项目推荐（4 个）
real-time-kernel 话题在 GitHub 上没有填写简介，这里按 Star 数汇总最相关的热门仓库。
4收录项目
1014Star 总量
3覆盖语言
相关标签
热门项目 全部 4
GitHub 共 4 个仓库，已全部展示
dimonomid /tneo
TNeo：一个结构完善且经过严格测试的抢占式实时内核，适用于16位和32位MCU
C246
hemachandra16 /gravix-os
Custom Ubuntu 22.04-based Linux distro purpose-built for robotics security — PREEMPT_RT kernel, 13 original gravix-* tools, 5 vulnerable-robot CTF labs.
Python0
pekopoko-heart /Real-Time-Kernel-for-Arduino-Uno-R3
A real-time kernel that runs practically on the Arduino UNO R3 and can be used in the Arduino IDE environment. With a code size of 644 Bytes, it enables real preemptive multitasking.
C++0
关于这个话题
- 清单取自 GitHub 话题页并按 Star 数排序，每次展示前 4 个项目；原始页面见 https://github.com/topics/real-time-kernel。
- 该话题在 GitHub 上共有 4 个仓库， 本站收录的是其中最热门的 4 个，不是全量列表。
- Star / Fork 每日自动刷新一次，实时数据以 GitHub 为准。
- 当前 4 个项目累计 1014 Star，覆盖 3 种主要语言，数据更新于 2026-11-08。
- 中文介绍来自 GitHub 官方话题说明（github/explore）的机器翻译，可点「查看原文」对照；译文缺失时会先展示原文。