diff options
| author | Richard Braun <rbraun@sceen.net> | 2014-08-11 01:25:50 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2014-08-11 01:25:50 +0200 |
| commit | 6d1f6eefcee5fad60b5b674135996414ecc17a2d (patch) | |
| tree | db6b5464a2867978106d0418fb85e9546f3150ea /kern/kernel.c | |
| parent | 07a4ea9c728fbf0b59c2588903aed446908aff3a (diff) | |
kern/kernel: remove unneeded header inclusion
Diffstat (limited to 'kern/kernel.c')
| -rw-r--r-- | kern/kernel.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/kern/kernel.c b/kern/kernel.c index bc70211b..dc64f076 100644 --- a/kern/kernel.c +++ b/kern/kernel.c @@ -19,7 +19,6 @@ #include <kern/init.h> #include <kern/kernel.h> #include <kern/llsync.h> -#include <kern/panic.h> #include <kern/task.h> #include <kern/thread.h> #include <kern/work.h> |