idt stuff

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

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