diff --git a/shellcode_hypervisor/main.c b/shellcode_hypervisor/main.c
index 8cd8ebe..7274ff2 100644
--- a/shellcode_hypervisor/main.c
+++ b/shellcode_hypervisor/main.c
@@ -1,7 +1,3 @@
-#include <sys/types.h>
-#include <cpuid.h>
-#include <machine/atomic.h>
-#include <machine/cpufunc.h>
 #include <stdint.h>
 #include "main.h"
 #include "../include/config.h"
diff --git a/shellcode_kernel/main.c b/shellcode_kernel/main.c
index 5a1835c..909ea16 100644
--- a/shellcode_kernel/main.c
+++ b/shellcode_kernel/main.c
@@ -2,13 +2,6 @@
 #include "kernel_code.h"
 #include "utils.h"
 #include <stdint.h>
-typedef int32_t size_t;
-typedef int32_t cpusetid_t;
-typedef int cpuwhich_t;
-typedef int cpulevel_t;
-typedef int32_t id_t;
-#include <sys/_cpuset.h>
-#include <sys/cpuset.h>
 
 #define MSR_EFER 0xC0000080
 
diff --git a/shellcode_kernel/main.h b/shellcode_kernel/main.h
index 3913770..729fb21 100644
--- a/shellcode_kernel/main.h
+++ b/shellcode_kernel/main.h
@@ -1,10 +1,7 @@
 #ifndef MAIN_H
 #define MAIN_H
 #include "shellcode_kernel_args.h"
-#include <stdarg.h>
 #include <stdint.h>
-#include <sys/_cpuset.h>
-#include <sys/_types.h>
 
 void (*printf)(const char *format, ...);
 uint32_t (*AcpiSetFirmwareWakingVector)(uint64_t PhysicalAddress,