projects
/
bertos.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
run_tests: Nicer output, configurable verbosity.
[bertos.git]
/
bertos
/
kern
/
monitor.h
diff --git
a/bertos/kern/monitor.h
b/bertos/kern/monitor.h
index 95bbb6db9a752f18a7b11df8ad5f98b9a3a0f925..0c705a4aed1b75dcb0cd5d687a2ab5e58de6f4bd 100644
(file)
--- a/
bertos/kern/monitor.h
+++ b/
bertos/kern/monitor.h
@@
-40,8
+40,9
@@
#ifndef KERN_MONITOR_H
#define KERN_MONITOR_H
+#include "cfg/cfg_kern.h"
+
#include <cpu/types.h>
-#include <config_kern.h>
#if CONFIG_KERN_MONITOR