fix includes

c_os/kernel/Globals.h

@@ -15,6 +15,7 @@
 #include "devices/PCSPK.h"
 #include "kernel/allocator/BumpAllocator.h"
 #include "kernel/allocator/LinkedListAllocator.h"
+#include "kernel/allocator/TreeAllocator.h"
 #include "kernel/CPU.h"
 #include "kernel/interrupts/IntDispatcher.h"
 #include "kernel/interrupts/PIC.h"

c_os/kernel/interrupts/IntDispatcher.h

@@ -13,8 +13,7 @@
 #ifndef __IntDispatcher_include__
 #define __IntDispatcher_include__
 
-#include "kernel/ISR.h"
-
+#include "kernel/interrupts/ISR.h"
 
 class IntDispatcher {
 
@@ -39,7 +38,6 @@ public:
 
     // ISR fuer 'vector' ausfuehren
     int report(unsigned int vector);
-    
 };
 
 #endif

c_os/main.cc

@@ -13,6 +13,7 @@
 #include "kernel/Allocator.h"
 #include "kernel/Globals.h"
 #include "user/HeapDemo.h"
+#include "user/KeyIRQDemo.h"
 
 // Waits for keys to control the scrollback buffer display
 void scroll_mode() {