Gabriel Kaszewski 61e28f0af5 fix: sync kernel tests with current API, add CapSlot::const_new ...

Tests:
- IPC tests: spawn thread B explicitly (CreateProcess no longer
  spawns threads since the boot logic fix)
- Memory tests: RequestPages now returns Value(va) not Slot(cap)
- MockPlatform: tracks VA→PA mappings for translate_va
- ReleasePages test: ignored (RequestPages no longer creates
  regions — ReleasePages needs redesign)

CapSlot::const_new(value):
- const fn that panics at compile time for invalid values
- Replaces CapSlot::new(N).unwrap() in init, echo, snake
- Cap slot constants are now compile-time verified

Also fixes handle_release_pages to use translate_va instead of
treating VA as PA directly.

35 kernel tests pass, 1 ignored.

2026-10-18 22:17:42 +02:00

..

src

fix: sync kernel tests with current API, add CapSlot::const_new

2026-10-18 22:17:42 +02:00

Cargo.toml

init

2026-10-16 02:32:24 +02:00