diff --git a/kaleid/kernel/cpu/cpuid.c b/kaleid/kernel/cpu/cpuid.c
index d1f756b..ef89b6e 100644
--- a/kaleid/kernel/cpu/cpuid.c
+++ b/kaleid/kernel/cpu/cpuid.c
@@ -22,6 +22,7 @@
 //  along with OS/K.  If not, see <https://www.gnu.org/licenses/>.            //
 //----------------------------------------------------------------------------//
 
+#include <kernel/cpu.h>
 
 char *KeGetVendorString(void) {
     return "Null";
diff --git a/kaleid/kernel/cpu/idt.c b/kaleid/kernel/cpu/idt.c
index 2b76398..444fef6 100644
--- a/kaleid/kernel/cpu/idt.c
+++ b/kaleid/kernel/cpu/idt.c
@@ -22,8 +22,7 @@
 //  along with OS/K.  If not, see <https://www.gnu.org/licenses/>.            //
 //----------------------------------------------------------------------------//
 
-
-idtp
+#include <kernel/cpu.h>
 
 //
 // Registers the new idt in the idtr register.
@@ -38,5 +37,5 @@ static inline void lidt(IdtDescriptor_t idtDesc)
 //
 error_t CpuInitIdt(void)
 {
-
+    return error_t stub;
 }