1#
2
3include "arch/evbarm/conf/GENERIC64"
4
5options 	PMAP_MI
6
7#options 	VERBOSE_INIT_ARM # verbose bootstrapping messages
8
9#options 	UVMHIST		# kernhist for uvm/pmap subsystems
10#options 	UVMHIST_PRINT,KERNHIST_DELAY=0
11
12#options 	LOCKDEBUG
13