/* main.c */
void user_rf_pre_init(void);
void user_init(void);
/* webserver.c */
void webserver_send_reply(struct espconn *conn, int status, char *type, char *body, size_t body_len);
void webserver_init(void);
/* util.c */
char *bounded_strstr(char *haystack, uint32_t len, char *needle);
bool util_isspace(char c);
void crash(void);
/* reset.c */
void reset_init(void);
/* wifi.c */
void wifi_init(void);
/* uart.c */
STATUS uart0_tx_one_char(uint8 TxChar);
void uart_init(void);
/* upgrade.c */
void upgrade(void);
/* gpio.c */
uint32_t gpio_read(void);
void gpio_dispatch(void);
void gpio_page(struct espconn *conn);
void gpio_colour_page(struct espconn *conn);
void gpio_init(void);
/* msg.c */
void msg_send(uint32_t v);
void msg_init(void);
/* mdns.c */
void mdns_start(void);