The Kirsch operating system

Kirsch is our work in designing operating systems that understand the platform they run on. In order to make some sense of the complexity of modern SoCs, we use formal address decoding models to derive configurations for hardware translation and protection units that give us hard guarantees about what the individual soft- and firmware components can and cannot do.

The Kirsch handbook contains a more in-depth treatment of Kirsch.