lab-rv32i-freertos-mutex/vendor/FreeRTOS-Kernel/UPSTREAM.md

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/.