Nein, Du hast recht, ein Kernel sollte nicht debug't werden sollen...da fehlerfrei und von Goettern geschrieben (wie Linux). Schau Dir mal seL4 an und sag mir ob Linux das irgendwann schaffen wird.