#include <stddef.h>
#include <stdint.h>
#include <stdarg.h>
#include <stdbool.h>
#include "../Terminal/Terminal.h"
#include "../Cpu/Gdt/Gdt.h"
#include "../Video/Video.h"
#include "../Cpu/Idt/Idt.h"
#include "../Cpu/Pics/Pics.h"
#include "../Memory/MemoryManager.h"
#include "../Scheduler/Process.h"

extern void Init();