add: gdt (peut etre y'a un gdt on sait pas)

src/kernel.c

@@ -22,8 +22,9 @@ void kernel_main(void)
 	terminal_initialize();
 
 	/* Newline support is left as an exercise. */
-	for (int i = 1001; i; i--)
+	for (int i = 100; i; i--)
 		kprintf(0, "%d\n", i);
+	void initGdt();
 	kprintf(0, "mange ta mere avec ton argument a kprintf fdp\n");
 	while (true)
 		terminal_getkey();