diff --git a/sys/arm/conf/VIRT b/sys/arm/conf/VIRT index ccb608759fbb..d2707ccd897d 100644 --- a/sys/arm/conf/VIRT +++ b/sys/arm/conf/VIRT @@ -57,6 +57,7 @@ options KBD_INSTALL_CDEV # install a CDEV entry in /dev options PLATFORM options FREEBSD_BOOT_LOADER # Process metadata passed from loader(8) options VFP # Enable floating point hardware support +options ARM_NEW_PMAP # Enable the new v6 pmap # Debugging for use in -current makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols