#define NO_CHECKPOINT 1
#define RAM_SIZE 0x8000u
#include <hw/esp8266/espi.h>
#include <hw/esp8266/kbd.h>
#include <hw/esp8266/pwm.h>