Subsystem specifications

• Specification amendments recorded during M1
• SPEC-001 - Public API Conventions
• SPEC-002 - Interrupt, Exception, and Critical-Section Model
• SPEC-003 - Time Source, Timeouts, and Software Timers
• SPEC-004 - Wait and Wake Protocol
• SPEC-005 - Synchronization: Mutexes, Semaphores, Event Flags, Condition Variables, Barriers, Spinlocks
• SPEC-006 - Notifications, Notification Binding, and Work Queues
• SPEC-007 - Inter-Thread Communication: Message Queues, Pipes, Buffer Pools, Ports
• SPEC-008 - Thread Lifecycle
• SPEC-009 - Kernel Objects, Capabilities, and Storage Generation
• SPEC-010 - Partitions and the System Call Boundary
• SPEC-011 - Architecture Port Contract
• SPEC-012 - ATmega328P Port (arch/avr) and the arduino_uno Board
• SPEC-013 - Native Port (arch/native)
• SPEC-014 - Hardware Description Schema v0 and the Generator
• SPEC-015 - Observability Formats: Log Records, Trace, Crash Record, Debug Descriptor, Monitors