std :: debug::jtag
#include <std/debug/jtag.h> source ยท definition
#include <std/debug/jtag.h>
void debug_semihost_putc(char c)
Write one byte to the debugger console.