mphalport.h

#include "py/mpconfig.h"

void mp_hal_set_interrupt_char(char c);