#include "py/mphal.h"

void USBD_CDC_TxAlways(const uint8_t *buf, uint32_t len);
int USBD_CDC_Rx(uint8_t *buf, uint32_t len, uint32_t timeout);

int mp_hal_stdin_rx_chr(void) {
    for (;;) {
        byte c;
        if (USBD_CDC_Rx(&c, 1, 0) != 0) {
            return c;
        }
    }
}

void mp_hal_stdout_tx_strn(const char *str, size_t len) {
    USBD_CDC_TxAlways((const uint8_t*)str, len);
}