3 files changed, 73 insertions, 0 deletions
diff --git a/src/include/heap.h b/src/include/heap.h
index 2f66501..4eebd04 100644
--- a/src/include/heap.h
+++ b/src/include/heap.h
@@ -1,3 +1,6 @@
+#ifndef HEAP_H
+#define HEAP_H
+
 #include"types.h"
 
 typedef struct _KHEAPBLOCKBM {
@@ -21,3 +24,5 @@ extern KHEAPBM kheap;
 
 #define kmalloc k_heapBMAlloc
 #define kfree k_heapBMFree
+
+#endif
diff --git a/src/include/irq.h b/src/include/irq.h
new file mode 100644
index 0000000..58b3cd3
--- /dev/null
+++ b/src/include/irq.h
@@ -0,0 +1,39 @@
+#ifndef IRQ_H
+#define IRQ_H
+
+extern void irq0();
+extern void irq1();
+extern void irq2();
+extern void irq3();
+extern void irq4();
+extern void irq5();
+extern void irq6();
+extern void irq7();
+extern void irq8();
+extern void irq9();
+extern void irq10();
+extern void irq11();
+extern void irq12();
+extern void irq13();
+extern void irq14();
+extern void irq15();
+extern void irq16();
+extern void irq17();
+extern void irq18();
+extern void irq19();
+extern void irq20();
+extern void irq21();
+extern void irq22();
+extern void irq23();
+extern void irq24();
+extern void irq25();
+extern void irq26();
+extern void irq27();
+extern void irq28();
+extern void irq29();
+extern void irq30();
+extern void irq31();
+extern void timer_irq();
+extern void keyboard_irq();
+
+#endif
diff --git a/src/include/vga.h b/src/include/vga.h
new file mode 100644
index 0000000..d828e48
--- /dev/null
+++ b/src/include/vga.h
@@ -0,0 +1,29 @@
+#ifndef VGA_H
+#define VGA_H
+
+#include"types.h"
+
+static const size_t VGA_WIDTH = 80;
+static const size_t VGA_HEIGHT = 25;
+
+enum vga_color {
+    VGA_COLOR_BLACK = 0,
+    VGA_COLOR_BLUE = 1,
+    VGA_COLOR_GREEN = 2,
+    VGA_COLOR_CYAN = 3,
+    VGA_COLOR_RED = 4,
+    VGA_COLOR_MAGENTA = 5,
+    VGA_COLOR_BROWN = 6,
+    VGA_COLOR_LIGHT_GREY = 7,
+    VGA_COLOR_DARK_GREY = 8,
+    VGA_COLOR_LIGHT_BLUE = 9,
+    VGA_COLOR_LIGHT_GREEN = 10,
+    VGA_COLOR_LIGHT_CYAN = 11,
+    VGA_COLOR_LIGHT_RED = 12,
+    VGA_COLOR_LIGHT_MAGENTA = 13,
+    VGA_COLOR_LIGHT_BROWN = 14,
+    VGA_COLOR_WHITE = 15,
+};
+void set_color(enum vga_color fg, enum vga_color bg);
+
+#endif