Refactoring

src/Makefile

@@ -8,12 +8,12 @@ LD_SCRIPT := linker.ld
 BOOT_OBJ := $(addsuffix .o,$(basename $(shell find ./boot -name "*.[c|S]" ! -name "boot.S")))
 CORE_OBJ := $(addsuffix .o,$(basename $(shell find ./core -name "*.[c|S]")))
 LIBC_OBJ := $(addsuffix .o,$(basename $(shell find ./libc -name "*.[c|S]")))
-INT_OBJ := $(addsuffix .o,$(basename $(shell find ./int -name "*.[c|S]")))
+DRIVERS_OBJ := $(addsuffix .o,$(basename $(shell find ./drivers -name "*.[c|S]")))
 
 
 all: $(EXEC)
 
-$(EXEC): boot/boot.o $(BOOT_OBJ) $(CORE_OBJ) $(LIBC_OBJ) $(INT_OBJ) bringelle.o
+$(EXEC): boot/boot.o $(BOOT_OBJ) $(CORE_OBJ) $(LIBC_OBJ) $(DRIVERS_OBJ) bringelle.o
 	ld -n -T $(LD_SCRIPT) -nostdlib -o bringelle $^ 
 
 %.o: %.S

src/bringelle.c

@@ -1,5 +1,4 @@
 #include "libc/stdio.h"
-#include "int/pic.h"
 #include "boot/multiboot.h"
 #include "core/mem.h"
 #include "core/gdt.h"

src/core/gdt.h

@@ -72,6 +72,9 @@ void gdt_memcpy();
  */
 void gdt_write_entry(GDT_ENTRY entry, u32 id);
 
+/**
+  * Extract the base from the user data segment 
+  */ 
 int gdt_user_ds_base();
 
 #endif

src/core/idt.c

@@ -15,7 +15,7 @@ INT_SYSCALL;
 
 
 void idt_init(){
-        // Map first default 32 entries 
+    // Map first default 32 entries 
     for(int i=0;i<IDT_MAX_ENTRY;i++){
         idt_write_entry((IDT_ENTRY){0x08,(u32)&INT_DEFAULT,IDT_INT_GATE},i);
         if(i==14)
@@ -27,7 +27,7 @@ void idt_init(){
         if(i==48)
             idt_write_entry((IDT_ENTRY){0x08,(u32)&INT_SYSCALL,IDT_TRAP_GATE},i);
     }
-    
+    // Load IDT
     asm("lidtl (IDTR)");
 }
 

src/drivers/8042.c

@@ -1,5 +1,5 @@
 #include "8042.h"
-#include "core/framebuffer.h"
+#include "drivers/framebuffer.h"
 #include "core/asm.h"
 
 DEFINE_AZERTY;

src/drivers/framebuffer.h

@@ -1,7 +1,7 @@
 #ifndef FRAMEBUFFER_H
 #define FRAMEBUFFER_H
 
-#include "types.h"
+#include "core/types.h"
 
 typedef enum VIDEO_COLORS {
   BLACK=0, BLUE=1, GREEN=2,CYAN=3, RED=4,PURPLE=5,BROWN=6,GRAY=7,

src/libc/stdio.h

@@ -1,7 +1,7 @@
 #ifndef STDIO_H
 #define STDIO_H
 
-#include "core/framebuffer.h"
+#include "drivers/framebuffer.h"
 
 void print(char*);
 void printc(char*,VIDEO_COLORS c);