The problem
Low-level execution is hard to inspect before it runs.
Kernel Bare-metal Execution Layer .kbel
Low-level execution is hard to inspect before it runs.
Plans low-level instructions explicitly, so they can be simulated and replayed before anything reaches hardware.
Grants no automatic authority and makes no timing guarantee. Native hardware dispatch is not implemented.