-
Philippe Gerum authored
int3/debug raised from a kernel context should be passed to their respective regular handler, which can cope with any domain context (root/head). However, the interrupt state should be fixed up only when those traps are received from a user-space context. With this change in place, there is no point in handling KGDB traps ourselves, we can leave this to the regular handler.
91e1fc11