# $NetBSD: std.usermode,v 1.7 2011/11/27 20:06:26 reinoud 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
options		syscall_debug

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