Debugging

Debugging

No dedicated, NebulaOS-specific kernel debugging guide exists in this repo today — this page is a pointer, not a procedure, so it doesn't invent one.

For real-device diagnosis once a kernel is booted, see NebulaOS-firmware's Developer Recovery page (SSH access, slot switching if a change leaves a device unbootable) and A/B Slot Model (the automatic fallback behavior if a bad kernel is flashed — and its known limitation if the kernel never boots far enough for that fallback to arm).

If you develop a genuinely reusable kernel-debugging procedure, this is the page to add it to.