This was modeled after NetBSD's kernel debugging support. Reviewed by: Doug Rabson <dfr@nlsystems.com>