Resolved! Connect USBCDC to stdin
I have successfully connected USBCDC to stdout by redefining __io_putchar and can use printf to talk to a PC thru its virtual serial port but am not having any success with stdin (modifying __io_getchar). Anyone done this and can advise?