Reduce differences between our VKERNEL and VKERNEL64 configurations.
authorSascha Wildner <saw@online.de>
Sat, 31 Dec 2011 11:36:16 +0000 (12:36 +0100)
committerSascha Wildner <saw@online.de>
Sat, 31 Dec 2011 11:36:16 +0000 (12:36 +0100)
commit7544493bd138e34bca410fbbad383bb7bb7ddbfb
tree233655fb7c941ef1d80b4dc85da724bb6ddc1adb
parentb19d1a6bfd5d631899a0511c64ff05bf55edbc8d
Reduce differences between our VKERNEL and VKERNEL64 configurations.

* Removes KTR from VKERNEL.

* Removes VM_PAGE_DEBUG from VKERNEL64.

* Some whitespace adjustments.
sys/config/VKERNEL
sys/config/VKERNEL64