sepOS

安全隔区固件，基于 L4 微内核的 Apple 定制版本。