diff options
author | Alex Auvolat <alex.auvolat@ens.fr> | 2014-11-30 19:58:32 +0100 |
---|---|---|
committer | Alex Auvolat <alex.auvolat@ens.fr> | 2014-11-30 19:58:32 +0100 |
commit | 54e7efbbd0e0c88d99bb6bddb82e9fc8d90eae50 (patch) | |
tree | 178f0d423d1708cbddf89c0e4c510a2022fa7eda /kernel/config.h | |
parent | bee97e0b630976b96798246a3ef4eea8964099cf (diff) | |
download | macroscope-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.h | 27 |
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 + + |