Gabriel Kaszewski 142505d8a4 feat: add SavedContext::with_entry_and_stack, wire SpawnThread to preserve entry point and stack

2026-10-18 01:24:56 +02:00

..

proofs

feat(kernel): implement generation-based capability revocation with proofs and tests

2026-10-18 01:11:24 +02:00

syscall

feat: add SavedContext::with_entry_and_stack, wire SpawnThread to preserve entry point and stack

2026-10-18 01:24:56 +02:00

tests

feat: add SavedContext::with_entry_and_stack, wire SpawnThread to preserve entry point and stack

2026-10-18 01:24:56 +02:00

interrupt.rs

feat(kernel): add handle_tick and handle_interrupt entry points

2026-10-18 00:17:55 +02:00

lib.rs

feat(kernel): implement generation-based capability revocation with proofs and tests

2026-10-18 01:11:24 +02:00