/* $NetBSD: platform.h,v 1.2 2018/10/18 09:01:53 skrll Exp $ */

#define KERNEL_VM_BASE		0x80000000
#define KERNEL_VM_SIZE		0x40000000