blob: da2956a45dbec4d09cedae343b2d51cc3ae28f71 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#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
/* vim: set ts=4 sw=4 tw=0 noet :*/
|