#ifndef KERNEL_H
#define KERNEL_H

#define KERNEL_VIRTUAL_ADDR ((void*)0xC0000000)
#define KERNEL_PHYS_ADDR ((void*)0x00100000)
#define KERNEL_STACK_ADDR ((void*)0xD0000000)

#endif