Engineering and documentation

• Building and maintaining documentation
• How other RTOS projects build documentation
• Timing bounds and verification evidence
• Repository workflow and required checks
• Changelog and release checklist
• M2 implementation work order
• M2-01: Native timeout replay investigation
• M2-01: Timer-delivery correction and regression evidence
• Capturing, replaying and reducing differential failures
• M2-01: Bounded historical seed-5 triage
• M2-02: Contract review before implementation
• EmbCC: Ten legacy limitations reviewed
• EmbCC storage-layout marker correction
• EmbCC kernel on the Linux native port