sepOS

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