Alex Smith 8a1903353e Implemented user debugging support for x86_64. ... Reused x86 arch_user_debugger.cpp, with a few minor changes to make the code work for both 32 and 64 bit. Something isn't quite working right, if a breakpoint is hit the kernel will hang. Other than that everything appears to work correctly.		2012-08-07 20:20:42 +01:00
..
arch_debugger.h