Changeset 440 for soft/giet_vm/giet_kernel/exc_handler.c

Timestamp:

Nov 3, 2014, 11:03:55 AM (10 years ago)

Author:

alain

Message:

Introducing dynamic allocation of peripheral channels (NIC, TTY, CMA, TIM)
Intoducing a kernel function for all system calls: No more direct call
to the peripheral drivers.

File:

• soft/giet_vm/giet_kernel/exc_handler.c (modified) (1 diff)

soft/giet_vm/giet_kernel/exc_handler.c

@@ -5 +5 @@
 // Copyright (c) UPMC-LIP6
 ///////////////////////////////////////////////////////////////////////////////////
-// The exc_handler.c and exc_handler.h files are part of the GIET nano-kernel.
-// They contains the exception handler code.
-///////////////////////////////////////////////////////////////////////////////////
 
 #include <exc_handler.h>
 #include <ctx_handler.h>
 #include <sys_handler.h>
-#include <tty_driver.h>
 #include <utils.h>
+#include <kernel_utils.h>
 
 ///////////////////////////////////////////////////////////////////////////////////