blob: 0c74035d1ff9142a0140fbc8cd07b39aac2688d5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
//
// 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_tcm.h"
#include "OS_spinLock.h"
#include "OS_thread.h"
#include "OS_protectionRegion.h"
#include "OS_entropy.h"
#include "OS_emulator.h"
#include "OS_arena.h"
#include "OS_alloc.h"
#include "OS_system.h"
#include "OS_reset.h"
void OS_Init();
#endif //POKEDIAMOND_OS_INIT_H
|
