#include "py/mphal.h"
#include "usb.h"
#include "common.h"

static int vcp_iface_num = -1;

int mp_hal_stdin_rx_chr(void) {

    ensure(sectrue * (vcp_iface_num >= 0), "vcp stdio is not configured");

    uint8_t c = 0;
    usb_vcp_read_blocking(vcp_iface_num, &c, 1, -1);
    return c;
}

void mp_hal_stdout_tx_strn(const char *str, size_t len) {
    if (vcp_iface_num >= 0) {
        usb_vcp_write_blocking(vcp_iface_num, (const uint8_t *)str, len, 0);
    } else {
        // no-op
    }
}

void mp_hal_set_vcp_iface(int iface_num) {
    vcp_iface_num = iface_num;
}