メニュー
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.
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/nathfavour/keystone-zig --skill keystone-zig-pmpコマンドは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.
Implements Keystone SBI extension calls in keystone-zig. Use when adding SBI functions, ecall wrappers, error codes, or clarigggz kernel enclave API.
SOC 職業分類に基づく
SKILL.md を表示中
| name | keystone-zig-pmp |
| description | 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. |
sm/main.zig) writes PMP CSRs at runtime.lib/layout.zig as pmp.Map.comptime pmp.Map.validate(map) — catches overlaps at build time.// lib/layout.zig
.{ .name = "mmio", .base = 0x..., .size = 0x1000, .perm = .rw, .mode = .napot },
Constraints:
base and size aligned to 4 bytes (PMP granule)size must be power of two ≥ 4| Flag | Meaning |
|---|---|
.none | Deny all — used for enclave pool until carved |
.rw | MMIO, shared untrusted memory |
.rwx | Code regions (SM, kernel, enclave EPM) |
Locked bit (L=1) set in Region.cfgByte() — SM entries cannot be changed from S-mode.
const addr = try pmp.encodeNapot(base, size);
// (base >> 2) | ((size >> 3) - 1)
Use writePmpEntry(entry, pmpaddr, cfg_byte) in sm/main.zig. RV64: entries 0–7 → pmpcfg0, 8–15 → pmpcfg2.
Always csr.sfence_vma() after PMP changes.
zig build test # runs pmp.zig unit tests on host
| Symptom | Fix |
|---|---|
| Kernel can't access UART | Entry 0 must grant .rw to 0x1000_0000 |
| Enclave pool visible to host | Entry 3 must be .none until create |
| Overlap compile error | Adjust bases in layout.zig |