aboutsummaryrefslogtreecommitdiff
path: root/kernel/config.h
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ens.fr>2014-11-30 19:58:32 +0100
committerAlex Auvolat <alex.auvolat@ens.fr>2014-11-30 19:58:32 +0100
commit54e7efbbd0e0c88d99bb6bddb82e9fc8d90eae50 (patch)
tree178f0d423d1708cbddf89c0e4c510a2022fa7eda /kernel/config.h
parentbee97e0b630976b96798246a3ef4eea8964099cf (diff)
downloadmacroscope-54e7efbbd0e0c88d99bb6bddb82e9fc8d90eae50.tar.gz
macroscope-54e7efbbd0e0c88d99bb6bddb82e9fc8d90eae50.zip
Add debug output and a few elementary stdlib functions.
Diffstat (limited to 'kernel/config.h')
-rw-r--r--kernel/config.h27
1 files changed, 27 insertions, 0 deletions
diff --git a/kernel/config.h b/kernel/config.h
new file mode 100644
index 0000000..5ea242e
--- /dev/null
+++ b/kernel/config.h
@@ -0,0 +1,27 @@
+#if !defined(__cplusplus)
+#include <stdbool.h>
+#endif
+
+#include <stddef.h>
+#include <stdint.h>
+
+#if defined(__linux__)
+#error "This kernel needs to be compiled with a cross-compiler."
+#endif
+
+#if !defined(__i386__)
+#error "This kernel needs to be compiled with a ix86-elf compiler"
+#endif
+
+
+extern char k_highhalf_addr; // defined in linker script : 0xC0000000
+#define K_HIGHHALF_ADDR ((void*)&k_highhalf_addr)
+
+#define OS_NAME "Macroscope"
+#define OS_VERSION "0.0.1"
+
+// Comment to disable either form of debug log output
+#define DBGLOG_TO_SERIAL
+#define DBGLOG_TO_SCREEN
+
+