メニュー
Implements Keystone SBI extension calls in keystone-zig. Use when adding SBI functions, ecall wrappers, error codes, or clarigggz kernel enclave API.
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
SOC 職業分類に基づく
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/nathfavour/keystone-zig --skill keystone-zig-sbiコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
SKILL.md を表示中
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.
| name | keystone-zig-sbi |
| description | Implements Keystone SBI extension calls in keystone-zig. Use when adding SBI functions, ecall wrappers, error codes, or clarigggz kernel enclave API. |
0x08424b45 (lib/sbi.zig)a7, fid in a6, args in a0–a5a0, value in a1const ret = keystone.sbi.ecall(
keystone.sbi.extension_id,
@intFromEnum(keystone.sbi.Fid.create_enclave),
@intFromPtr(&args), 0, 0, 0, 0, 0,
);
if (ret.error_code != 0) { /* handle */ }
const eid = ret.value;
const args = keystone.sbi.CreateArgs{
.epm_paddr = 0x9000_0000,
.epm_size = 0x0040_0000,
.utm_paddr = 0x9400_0000,
.utm_size = 0x0010_0000,
};
Validated by enclave.validateCreateArgs — page-aligned sizes, granule-aligned bases.
Use keystone.sbi.Error enum (range 100000–100100). Convert with .toSbiRet().
| Range | Caller |
|---|---|
| 2000–2999 | Host (kernel) |
| 3000–3999 | Enclave |
| 4000–4999 | Experimental plugins |
lib/sbi.zig Fid enumsm/main.zig handleSbiEcalldocs/architecture.mdExpose thin kernel API:
pub fn spawnSecureEnclave(epm: PhysRange, utm: PhysRange) !EnclaveId {
// pack CreateArgs, ecall, return eid
}
Keep SBI details inside keystone module — adapters never call SM directly.
Upstream spec (read-only): ../keystone/sm/spec/v1.0.md