diff options
Diffstat (limited to 'sys/conf/options.arm')
-rw-r--r-- | sys/conf/options.arm | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sys/conf/options.arm b/sys/conf/options.arm index 8720ac2..ef66413 100644 --- a/sys/conf/options.arm +++ b/sys/conf/options.arm @@ -5,7 +5,6 @@ ARM_INTRNG opt_global.h ARM_KERN_DIRECTMAP opt_vm.h ARM_L2_PIPT opt_global.h ARM_MANY_BOARD opt_global.h -ARM_NEW_PMAP opt_global.h NKPT2PG opt_pmap.h ARM_WANT_TP_ADDRESS opt_global.h COUNTS_PER_SEC opt_timer.h |