GalaxyNexusSerialConsole

When you connect the cable you get the FIQ debugger, but what if you want kgdb instead: