blob: 5ea242ea8aeaf711bc7e24ede16e5fb1c4989791 (
plain) (
tree)
|
|
#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
|
