#include "py/mpconfig.h"

void mp_hal_set_interrupt_char(char c);

/* Init everything */
void pycardium_hal_init(void);