xref: /netbsd-src/sys/arch/usermode/conf/std.usermode (revision a5847cc334d9a7029f6352b847e9e8d71a0f9e0c)
1# $NetBSD: std.usermode,v 1.6 2011/09/03 12:28:45 jmcneill Exp $
2
3machine usermode
4include "conf/std"
5
6options 	HZ=100
7options		EXEC_ELF32
8options 	EXEC_ELF64
9options 	EXEC_SCRIPT
10
11options 	URKELVISOR
12
13# Defaults
14options		NKMEMPAGES=2048
15#options		NKMEMPAGES_MAX_DEFAULT=2048
16
17defflag opt_xen.h	DO_NOT_DEFINE
18defflag opt_kernbase.h	DO_NOT_DEFINE2
19defflag opt_noredzone.h	DO_NOT_DEFINE3
20