sepOS

「安全隔離區」韌體，採用 Apple 特製的 L4 microkernel 版本。