Searching protocol for "static-allocation"
Tock kernel patterns and conventions
Deterministic memory for safe firmware.
MISRA-C:2012 compliant C patterns for EN 50128.