# $NetBSD: std.usermode,v 1.4 2011/08/21 15:08:43 reinoud Exp $

machine usermode
include "conf/std"

options 	HZ=100
options		EXEC_ELF32
options 	EXEC_ELF64
options 	EXEC_SCRIPT

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