# $NetBSD: std.usermode,v 1.8 2011/12/13 20:58:47 reinoud Exp $

machine usermode
include "conf/std"

options 	HZ=100
options		EXEC_ELF32
options 	EXEC_ELF64
options 	EXEC_SCRIPT

options 	URKELVISOR

# Defaults
options		NKMEMPAGES=4096
#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