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