メニュー
Develops the M-mode Security Monitor in keystone-zig. Use when editing sm/, trap handlers, SBI dispatch, enclave create/destroy/run, or M-mode boot.
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/nathfavour/keystone-zig --skill keystone-zig-smコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
Guides clean-room Keystone TEE implementation in native Zig for clarigggz. Use when working on keystone-zig architecture, clarigggz integration, threat model, boot chain, or deciding what to port from upstream Keystone.
Integrates keystone-zig TEE with clarigggz OS smart-glasses microkernel. Use when connecting clarigggz kernel to SM, spawning secure enclaves for camera/crypto/wallet, or planning adapter isolation.
Configures RISC-V Physical Memory Protection in keystone-zig using comptime validation. Use when adding memory regions, PMP entries, NAPOT encoding, or debugging isolation failures.
SOC 職業分類に基づく
SKILL.md を表示中
| name | keystone-zig-sm |
| description | Develops the M-mode Security Monitor in keystone-zig. Use when editing sm/, trap handlers, SBI dispatch, enclave create/destroy/run, or M-mode boot. |
sm/boot.S:_start → smEntry → PMP map → delegate → mret → kernel
mtvec points to mTrapHandlerecall (mcause=11) → handleSbiEcallgpr.read("aN"), never csr.read for a0–a7gpr.write("a0"/"a1") + advance mepc by 4| FID | Handler | Context |
|---|---|---|
| 2001 | smCreateEnclave | Host |
| 2002 | smDestroyEnclave | Host |
| 2003 | smRunEnclave | Host |
| 2005 | smResumeEnclave | Host |
| 3004 | smStopEnclave | Enclave |
| 3006 | smExitEnclave | Enclave |
Add new FIDs in lib/sbi.zig first, then implement in sm/main.zig.
invalid → allocated → fresh → running → stopped → destroying
Managed in lib/enclave.zig (enclave.Table).
satp, mepc, mstatus, GPRs on enclave entryRuntimeParams in a1–a7 per Keystone conventionzig build
zig build qemu # UART trace: SM boot → kernel stub → create enclave
sm/main.zig — logicsm/boot.S — reset vector, stacksm/linker.ld — SM at 0x8000_0000