Rethinking the OS for Isolation Flexibility with FlexOS
summary
FlexOS is an operating-system prototype implemented on Unikraft that can be configured at compile/deploy time to use different isolation models (e.g., microkernel with multiple address spaces or single-address-space using Intel MPK compartments). It explores letting the same OS codebase be specialized into monolithic, microkernel, unikernel or other isolation strategies by switching among hardware- and software-backed isolation mechanisms.
AI-written summary · about
related talks
20mIsolation without Containers
16mRuntime Programmable Switches
12mControlling Opaque-Component Effects with Semisolates and Try
25mOpen Source Software Stack for Heterogenous embedded devices
40mAn Operating System of Our Own
39mSoftware Defined Hardware on Heterogeneous SoCs Using OpenAMP
49mBehold The Monolith: Understanding Microkernel Architecture
15mIsolation Mechanisms for High-Speed Packet-Processing Pipelines