extern "C" {
#include "uart.h"
}
#include <ion.h>
#include "port.h"

char line[64];

mp_obj_t writeLine(mp_obj_t a) {
  Ion::Console::writeLine(mp_obj_str_get_str(a));
  return mp_const_none;
}

mp_obj_t readLine() {
  Ion::Console::readLine(line, 64);
  return mp_obj_new_str(line, strlen(line), false);
}