Gabriel Kaszewski b7bc223a79 feat: add Halt syscall, fault notification to fault handler, supervisor with back-off, shutdown with timeout ...

- Halt syscall: only pid 0 (init) can halt, adapter uses SBI SRST
- Fault notification: kernel delivers fault info to process fault handler endpoint before killing
- Supervisor: tracks restart counts, back-off up to 5 restarts
- Shutdown: notifies servers, waits with timeout, calls halt
- Trap handler: faults now call kernel.handle_fault instead of halting

2026-10-18 03:29:05 +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 Halt syscall, fault notification to fault handler, supervisor with back-off, shutdown with timeout

2026-10-18 03:29:05 +02:00

tests

feat: add Halt syscall, fault notification to fault handler, supervisor with back-off, shutdown with timeout

2026-10-18 03:29:05 +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: implement context switching, SavedContext with pc/status fields, wire all syscall outcomes and timer preemption

2026-10-18 02:34:36 +02:00