#include <arch/XtratuM_API.h>
extern void start_kernel(void);

int interrupt_state=0;

int xm_main (void) {
   start_kernel();
   return 0;
}