3 Commits

Author	SHA1	Message	Date
Gabriel Kaszewski	e931485ca7	fix: sched round-robin, cap slot OOB panic, clippy, make ci ... - RunList -> intrusive FIFO, no starvation, no silent drop - cap table sized to CapSlot range (kani caught OOB panic) - snake food color test uses const - kani cfg lint, RUST_MIN_STACK for big kernel struct in tests	2026-10-26 19:08:30 +01:00
Gabriel Kaszewski	d0a0ba788f	feat(kernel): add Kernel struct, MockPlatform, and simple syscalls (GetTime, GetProcessId, Yield)	2026-10-18 00:15:40 +02:00
Gabriel Kaszewski	bb99c3001d	init	2026-10-16 02:32:24 +02:00