# Vendored FreeRTOS kernel subset

- Upstream: <https://github.com/FreeRTOS/FreeRTOS-Kernel>
- Release: `V11.3.0`
- Commit: `9b777ae5c5b8e9e456065a00294d1e5f5f9facf5`
- License: MIT; see `LICENSE.md` in this directory.
- Imported: 2026-07-14.

The vendored files are unmodified upstream sources. This card needs only
`tasks.c`, `list.c`, `heap_4.c`, the GCC RISC-V port and public headers.
Hazard3-specific configuration and trap routing live outside this directory in
`include/` and `src/common/`.
