#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"


#endif