Engineering write-ups of individual subsystems, measured on real hardware where the measurement is the point.
3 published
Three large RTOS research targets for 2026: a tickless scheduler targeting sub-microsecond wake latency, RT-IPC primitives sharing memory across security domains, and a formally verified context-switch path using TLA+ and Coq.
A research plan for configuration-specific acquisition, filtering, and decoding benchmarks, with no unverified channel, sample-rate, or latency result presented as achieved.
An end-to-end tour of eBoot's chain of trust — root-of-trust keys, immutable stage 0, signed manifests, anti-rollback counters, and the runtime attestation hooks eAI consumes during model loading.
