The 68HC12 is supported by the GNU Debugger. The gdb sources must be configured as follows: configure --target=m6811-elf --program-prefix=m6811-elf- The debugger will support both 68HC11 and 68HC12. It will automatically select the processor according to the ELF file you specify.

---