FreeRTOS/FreeRTOS-Kernel
View on GitHub ↗ ★ 4,643 C
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
4 mentions on Hacker News by 4 people: 1 story, 3 comments · first 2020-10-04 · latest 2022-10-04
20082026
-
…[1] https://github.com/rcore-os/zCore [2] https://archive.is/Y49Ih [3] https://github.com/FreeRTOS/FreeRTOS-Kernel [4] https://archive.is/u8Hsw [5] https://archive.is/0MHF1
comment by ignoramous · 2022-10-04 · in Ask HN: Examples of Microkernels? -
▲ 2
Ask HN: Embedded Projects to Learn From?story by DriftRegion · 2022-07-18 · 0 comments
-
…files (some of which may be optional) plus 2-3 board support source files. See their GitHub mirror: https://github.com/FreeRTOS/FreeRTOS-Kernel
comment by nneonneo · 2021-06-08 · in Althttpd: Simple webserver in a single C file -
…certified "edition" but the "normal" version is not, you can start today send patches for RTOS in. https://github.com/FreeRTOS/FreeRTOS-Kernel
comment by nix23 · 2020-10-04 · in Software Freedom Conservancy: New Strategy for GPL Enforcement