PPC32: Better support for PPC 4xx debug facilities.
This provides for separate global and per-thread debug control register value(s), which are switched as appropriate. This allows us to use both an external JTAG debugger for debugging the kernel as well as using gdb to debug user programs.
Showing
Please register or sign in to comment