seL4/microkit

**Brief Summary (2‑3 sentences)** Microkit is a lightweight framework that helps developers build simple, component‑based operating systems on top of the formal