Cross Reference: /src/sys/arch/evbarm/conf/GENERIC64_PMAPMI

GENERIC64_PMAPMI revision 1.1

      1 #
      2 
      3 include "arch/evbarm/conf/GENERIC64"
      4 
      5 options 	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