Synopsis: Debugging the kernel using KGDB fails with "PC register is not available" State-Changed-From-To: open->closed State-Changed-By: mrg%NetBSD.org@localhost State-Changed-When: Sun, 26 Jul 2015 10:49:19 +0000 State-Changed-Why: applied, thanks!