K 10 svn:author V 6 marcel K 8 svn:date V 27 2004-07-10T22:39:17.000000Z K 7 svn:log V 304 Update for the KDB framework: o Make debugging support conditional upon KDB instead of DDB. o Remove implementation of Debugger(). o Don't make setjump() and longjump() conditional upon DDB. o s/ddb_on_nmi/kdb_on_nmi/g o Call kdb_reenter() when kdb_active is non-zero. Call kdb_trap() otherwise. END