#

include "arch/evbarm/conf/GENERIC64"

options 	PMAP_MI

#options 	VERBOSE_INIT_ARM # verbose bootstrapping messages

#options 	UVMHIST		# kernhist for uvm/pmap subsystems
#options 	UVMHIST_PRINT,KERNHIST_DELAY=0

#options 	LOCKDEBUG