From 082a1b82d818857ea679d494d90a6c05021f6ccb Mon Sep 17 00:00:00 2001
From: Adrien Bourmault <neox@os-k.eu>
Date: Mon, 1 Apr 2019 23:53:36 +0200
Subject: [PATCH] idt stuff

---
 kaleid/kernel/cpu/cpuid.c | 1 +
 kaleid/kernel/cpu/idt.c   | 5 ++---
 2 files changed, 3 insertions(+), 3 deletions(-)

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;
 }