Upsilon/ion/src/blackbox/ion.c

#include <stdint.h>
#include <ion.h>

void ion_set_pixel(uint16_t x, uint16_t y, uint8_t color) {
}

bool ion_key_down(ion_key_t key) {
  return 0;
}

void ion_sleep() {
}