2 tagged osdev, measured the same way as everything else here.
Instructions file GitHub Copilot
Copilot instructions for coherentforge/CambiOS, covering cambios microkernel development, architecture, key components, build commands and build both bootloader and microkernel.
Instructions file
Claude Code instructions for coherentforge/CambiOS, covering cambios microkernel — claude code context, formal verification (non-negotiable constraint), build with the end in mind, project vision and development environment.