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

#define KERNEL_VM_BASE          0x80000000
#define KERNEL_VM_SIZE          0x40000000