typedef unsigned int uint32_t;
typedef unsigned char uint8_t;

volatile uint32_t * const UART0DR = (uint32_t *)0x101f1000; 

void print_uart0(const char *str) {
	while (*str != 0) {
		*UART0DR = (uint32_t)*str;
		str++;
	}
}

int c_entry() {
	print_uart0("What is up, fam\n");
	return 0;
}
