src/include/kernel.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#ifndef KERNEL
#define KERNEL


#define PA_OFFSET                 0xffff800000000000 
#define TXT_OFFSET                0xffffffff80000000

#define PHYS_TO_VIRT(addr) ((void *)(addr) + PA_OFFSET)

#define DEV_EMAIL "brett_weiland@bpcspace.com"

void multicore_main();


#endif