6 Commits

Author	SHA1	Message	Date
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
Gabriel Kaszewski	896c78088a	feat: implement configure_protection and map_shared with real page mapping, remove dead context_switch from Platform trait	2026-10-18 02:39:36 +02:00
Gabriel Kaszewski	dcadb83088	feat: add Platform::map_shared and wire memory delegation to page mapping	2026-10-18 01:30:23 +02:00
Gabriel Kaszewski	8dd36e7d6d	refactor(domain): move irq tests to separate file, fix MemoryRegion import in platform	2026-10-17 23:54:16 +02:00
Gabriel Kaszewski	06b51b6712	Implement domain and endpoint modules with capability management, message passing, and scheduling features	2026-10-17 23:09:21 +02:00
Gabriel Kaszewski	bb99c3001d	init	2026-10-16 02:32:24 +02:00