# $NetBSD: std.usermode,v 1.6 2011/09/03 12:28:45 jmcneill Exp $

machine usermode
include "conf/std"

options 	HZ=100
options		EXEC_ELF32
options 	EXEC_ELF64
options 	EXEC_SCRIPT

options 	URKELVISOR

# Defaults
options		NKMEMPAGES=2048
#options		NKMEMPAGES_MAX_DEFAULT=2048

defflag opt_xen.h	DO_NOT_DEFINE
defflag opt_kernbase.h	DO_NOT_DEFINE2
defflag opt_noredzone.h	DO_NOT_DEFINE3