Gr-Peachのmbed環境でシリアルモニタに出力

SerialPC - Handbook | Mbed より

#include "mbed.h"

Serial pc(USBTX, USBRX);

int main() {
    pc.printf("Hello mbed pc World!\n\r");
}