K 10 svn:author V 3 bde K 8 svn:date V 27 1996-12-23T19:57:33.000000Z K 7 svn:log V 194 Use breakpoint() instead of Debugger() in siointr1(). Debugger() doesn't work in fast interrupt handlers because it calls db_printf() which uses %es for string stuff and %es isn't initialized. END