//
// Created by mart on 4/12/20.
//

#ifndef POKEDIAMOND_OS_INIT_H
#define POKEDIAMOND_OS_INIT_H

#include "types.h"
#include "consts.h"
#include "OS_spinLock.h"
#include "OS_thread.h"
#include "OS_protectionRegion.h"
#include "OS_entropy.h"
#include "OS_arena.h"
#include "OS_alloc.h"
#include "OS_system.h"

void OS_Init();

#endif //POKEDIAMOND_OS_INIT_H