#define CONFIGURE_INIT
#include "system.h"
#include <signal.h>
#include <errno.h>
#include <stdlib.h>
#include <assert.h>
#include <stdio.h>
#include <sched.h>
#include <pthread.h>
#include "returncode.h"
#include "monano.h"

void run_monano();

void* POSIX_Init(void *argument)
{

  run_monano();
  return 0;  
  
}