K0

AArch64 대상 마이크로커널입니다. seL4 방식의 케이퍼빌리티 자원 모델을 따르고 Rust no_std로 작성됐습니다. 1차 타겟은 QEMU virt(4K 그래뉼)와 Apple Silicon(16K 그래뉼)이고, AMD64를 비롯한 다른 아키텍처는 1차 타겟 완료 후 확장 대상입니다.

빌드와 실행

cargo virt    # QEMU virt에서 부팅
cargo apple   # Apple Silicon(m1n1) release 빌드

TODO

• TCB/AddrSpace retype으로 다중 태스크 스폰 지원
• k0-sched에 라운드 로빈 스케줄러와 타이머 선점 추가
• Endpoint 오브젝트와 동기 랑데부 IPC(SEND/RECV/CALL/REPLY_RECV) 구현
• 파생 계보(CDT)와 MINT(배지 각인, 권한 축소 복사), revoke 구현
• IPC를 통한 케이퍼빌리티 전송(Grant)
• Notification 오브젝트로 IRQ를 사용자 공간에 전달
• EL0 폴트를 핸들러 태스크에 IPC로 전달
• 루트 태스크가 분리 배포되는 시점에 Ed25519 공개키 검증 추가
• Apple Silicon 실기 부팅 검증
• AMD64 등 타 아키텍처 확장