• Paul Mackerras's avatar
    PPC32: Better support for PPC 4xx debug facilities. · 5f8a8bf5
    Paul Mackerras authored
    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.
    5f8a8bf5
head_4xx.S 27.5 KB