diff options
Diffstat (limited to 'sys/arm/conf/RPI-B')
| -rw-r--r-- | sys/arm/conf/RPI-B | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/arm/conf/RPI-B b/sys/arm/conf/RPI-B index 0604a97..084d47a 100644 --- a/sys/arm/conf/RPI-B +++ b/sys/arm/conf/RPI-B @@ -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 |
