usrbin/main.c


1
2
3
4
5
6
7
8
9

#include <stdint.h>

extern int print(char*);

void main(void) {
  print("We did it ma!\n");

  char c = *((char*) 0x80BEEF);
}