#include <stdint.h>
#include <conio.h>

#include "devices/interrupt.h"
#include "devices/uart.h"



void handle_irq() {
}