-
Notifications
You must be signed in to change notification settings - Fork 0
Debugging
Tim edited this page Aug 15, 2026
·
2 revisions
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.