// the find
aws/amazon-freertos
DEPRECATED - See README.md
AWS's monolithic FreeRTOS distribution — the kernel plus all AWS IoT libraries bundled in one repo. Deprecated since November 2022; AWS has since split everything into individual repos. If you're starting a new embedded IoT project that targets AWS, this is the wrong starting point.
The submodule structure shows real engineering discipline about library boundaries, even if the monorepo approach ultimately didn't scale. CBMC formal verification proofs in tools/cbmc/proofs is uncommon in embedded open source — actual model checking, not just unit tests. The board support list is wide: ESP32, Nordic nRF52840, STM32, Renesas, Cypress — years of porting work is preserved here even if frozen.
Frozen since 2022 — no security patches, no bug fixes, no new board support. The README itself tells you to go elsewhere, which is a hard thing to overlook. The monolithic submodule approach is exactly what AWS admitted was a mistake by decomposing it; you inherit that complexity if you clone it. Getting started requires recursive submodule cloning plus board-specific IDE setup that may no longer work with current toolchain versions.