Status key: [x] done · [~] partial · [ ] not started
- K1 Bootloader Integration:
arch/riscv64/k1/boot.S,trap.S,switch.S - WFI Control: Idle loop uses
wfi(RISC-V) /hlt(x86_64) - Vector Extension (RVV 1.0) Initialization: Boot enables VS in
sstatus;core/rvv.zigverifies VLEN - Page Table Management: SV39 paging with identity map and MMIO mapping in
kmain
- Capability System: C-lists with derive, grant, and revoke
- IPC Transport: Sync message passing with port queues and blocking send/recv
- Scheduler: Priority queues with
switch_contextcooperative preemption - Interrupt Routing: PLIC/CLINT MMIO, IRQ router → adapter IPC delivery
- DisplayPort: Framebuffer layout and VSync event types
- InputPort: Tactile and spatial event structures
- NeuralPort: RVV-oriented tensor request protocol
- Runtime Syscalls:
protocols/runtime.zigyield, log, submit_intent stubs
- Adapter Loader:
core/adapter_loader.zigspawns compositor, neural, tactile threads - Waveguide Compositor: HW framebuffer at
0x81000000+ desktop fallback on host - Tactile ID Server: Intent submission via
submit_intentsyscall - Neural Engine: RVV f16 multiply in adapter loop
- ELF Loader:
core/elf_loader.zig+zig build embed-adaptersblob staging - Agent Runtime Adapter:
components/agent/main.zig+core/agent_runtime.zigtick scheduler
- Physical Sequence Verifier: Tap-sequence logic in
core/physical_intent.zig - Security Manager Wiring:
handleTactileEvent→attemptUnlock→ liability log - Liability Logger: Ring buffer + UART emit on unlock
- [~] TrustZone / Secure Enclave: Clarigggz Keychain + TEE backend abstraction; Keystone SM integration WIP (KEYSTONE_INTEGRATION.md)
- K1 Peripheral Mocks: MMIO and IRQ controller mocks in
simulator/ - End-to-End Protocol Loop: IRQ → IPC → adapter + security unlock demo
- Agent / Enclave / Framebuffer Demos: Simulator exercises new Phase 2 subsystems
- Keystone TEE native boot: SM reset vector +
-Dtee_backend=keystoneend-to-end on QEMU - Keychain secure enclave: Move seal/open into
wallet-core/biometricenclaves - RVV Emulation Support: QEMU RVV or host-side vector mapping for neural tests