#include <apos/sizes.h>

/* --- START ARCH USER CONFIG VALUES --- */
/* physical address to which the kernel will be loaded */
#define PM_KERN		0x83800000
/* --- END ARCH USER CONFIG VALUES --- */

/* don't touch >:( */

#define PM_STACK_BASE	(PM_KERN + SZ_2M)
#define PM_STACK_TOP	(PM_STACK_BASE + SZ_2M - 2)
#define VM_KERN		(-SZ_1G)
#define TMP_PTE		(-SZ_2G)
#define ROOT_PTE	(0)
#define ROOT_REGION	(SZ_4K)
