sepOS

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