Add trepan3k debugger