베어메탈 보안 마이크로커널: ISO-LIGHT-K0

다양한 아키텍처와 베어메탈 환경을 대상으로 설계된 초경량 보안 마이크로커널입니다. Rust no_std 기반의 정적 할당, Capability 기반 접근 제어, 동기 IPC, MMU 수준의 W^X 정책을 통해 높은 수준의 보안 목표로 하는 최소 신뢰 실행 환경을 구현합니다.