#![no_std]

//! Checked exception contracts for the one CPU bootstrap context. These
//! contracts neither install vectors nor execute ERET or switch a scheduler.
//! Actual vector, register, nesting and return measurements are guest gates.

pub mod exceptions;