GENERIC64_PMAPMI revision 1.1
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