Upsilon/boot/simulator/main.c

#include <boot/boot.h>

int main(int argc, char * argv[]) {
  boot();
}