include "./XENU.base"

#options		KERNBASE="0xf4000000UL"
#makeoptions	TEXTADDR="0xf4100000"

#options		KERNBASE="0xf2000000UL"
#makeoptions	TEXTADDR="0xf2100000"

#options	NMBCLUSTERS=10
#no options	NFSSERVER
#no file-system	NFS
#options	NFS_V2_ONLY

file-system	PROCFS
file-system	UNION
file-system	UMAPFS
file-system	MSDOSFS

options	PDPOLICY_CLOCKPRO

#file-system	KERNFS	#XXX
options	XEN3
options	MAXPHYS=32768   #xbd doesn't handle 64k transfers
no xennet* at hypervisor?
no xbd* at hypervisor?

xenbus*	at hypervisor?          # Xen virtual bus
xennet*	at xenbus?              # Xen virtual network interface
xbd*	at xenbus?              # Xen virtual block device

#no options	COMPAT_30
options DDB_COMMANDONENTER="trace;show registers"

#pseudo-device	lockstat
options	UBC_STATS

pseudo-device	agr

options	IPSELSRC
options 	FILEASSOC		# fileassoc(9) - required for Veriexec
pseudo-device	veriexec
options VERIFIED_EXEC_FP_RMD160
options VERIFIED_EXEC_FP_SHA256
options VERIFIED_EXEC_FP_SHA384
options VERIFIED_EXEC_FP_SHA512
options VERIFIED_EXEC_FP_SHA1
options VERIFIED_EXEC_FP_MD5
#options PAX_MPROTECT=1			# PaX mprotect(2) restrictions
#options	PAX_SEGVGUARD=1

options	DKWEDGE_AUTODISCOVER
options	DKWEDGE_METHOD_BSDLABEL
options	DKWEDGE_METHOD_GPT
options	DKWEDGE_METHOD_MBR

pseudo-device	drvctl