The Antikernel - Hardware and Unprivileged Software

No ratings

Presented at s4x17 2017 by

Modular design has long been used in critical systems in order to ease verification and contain damage in the event of a failure (whether accidental or maliciously induced). Truly compartmentalized real-time operating systems, however, have remained elusive. We present Antikernel, a novel decentralized operating system architecture composed entirely of hardware and unprivileged software, and discuss the applicability of the architecture to SCADA systems.