Normative requirement sources

• API - Public API Conventions
• ARCH-AVR - ATmega328P Port
• HW - Hardware Description and Generator
• KRN-CAP - Handles and Capabilities
• KRN-IPC - Inter-Thread Communication
• KRN-IRQ - Interrupts, Exceptions, Critical Sections, Scheduler Lock
• KRN-NOTIF - Notifications and Notification Binding
• KRN-OBJ - Kernel Objects, Lifecycle, and Storage
• KRN-PART - Partitions and the System Call Boundary
• KRN-SYNC - Synchronization
• KRN-THR - Threads
• KRN-TIM - Kernel Clock, Timeouts, Sleep, Software Timers
• KRN-WAIT - Wait and Wake Protocol
• KRN-WQ - Work Queues and Delayed Work
• OBS - Observability
• PORT - Compiler Portability and the Architecture Port Contract
• Requirements
• SIM - Simulation and the Native Port