Debugging

Debugging

There's no dedicated kernel debugging guide for this project yet — this page is a pointer, not a made-up procedure.

For diagnosing a real device once a kernel is booted, see NebulaOS-firmware's Developer Recovery page (SSH access, switching slots if a change leaves a device unbootable) and A/B Slot Model (what happens automatically if a bad kernel gets flashed, and the one case where that doesn't help).

If you figure out a genuinely reusable kernel-debugging trick, this is the page to add it to.