Kernel: Add basic IPC and move to microkernel design.

The IPC design is currently a WIP and is nowhere near complete

1 files changed, 2 insertions, 2 deletions

diff --git a/kernel/libc/exit/assert.c b/kernel/libc/exit/assert.c
index b48773a..3351249 100644
--- a/kernel/libc/exit/assert.c
+++ b/kernel/libc/exit/assert.c
@@ -1,12 +1,12 @@
 #include <assert.h>
 #include <log.h>
 #include <stdio.h>
-#include <log.h>
 
-void aFailed(char *f, int l) {
+__attribute__((__noreturn__)) void aFailed(char *f, int l) {
   kprintf("Assert failed\n");
   kprintf("%s : %d\n", f, l);
   dump_backtrace(10);
+  asm("hlt");
   for (;;)
     ;
 }