Further adjustments for 64 bit vkernels.
authorSascha Wildner <saw@online.de>
Sat, 27 Mar 2010 23:37:53 +0000 (00:37 +0100)
committerSascha Wildner <saw@online.de>
Sat, 27 Mar 2010 23:38:13 +0000 (00:38 +0100)
commitb6a66df555197c9ca28107c55e79cbedccdefa8f
treeae99567f6e89190348cccb3492f4ca2ddcc377cd
parentfad4297b6d0285436f2cb541ab5edbbf749418dc
Further adjustments for 64 bit vkernels.

* Put a vkernel on the ISO too, just like we do with the 32 bit vkernel.

* Adjust miscellaneous manual pages.

* Don't build bus modules for 64 bit vkernels, too.

* Install 64 bit vkernels to /var/vkernel, too.
nrelease/Makefile
share/man/man5/kernconf.5
share/man/man7/vkernel.7
sys/Makefile.modules
sys/conf/kern.paths.mk
usr.sbin/config/config.8