#include <stdio.h>
#include <irq.h>
#include <uart.h>

int main(void)
{
	irq_setmask(0);
	irq_setie(1);
	uart_init();
	
	printf("Hello World with IRQs\n");
	
	while(1);
}