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)
* 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

index bc2383d..0580532 100644 (file)
@@ -35,7 +35,7 @@ KERNCONF ?= DFLYLIVE VKERNEL DFLYLIVE-SMP DFLYLIVE-SMP-NOAPIC
 .if ${MACHINE_ARCH} == "i386"
 KERNCONF ?= GENERIC VKERNEL
 .else
-KERNCONF ?= X86_64_GENERIC
+KERNCONF ?= X86_64_GENERIC VKERNEL64
 .endif
 .endif
 
index f05a1d2..277d63c 100644 (file)
@@ -29,9 +29,7 @@
 .\" OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 .\" SUCH DAMAGE.
 .\"
-.\" $DragonFly: src/share/man/man5/kernconf.5,v 1.8 2008/07/16 01:02:07 thomas Exp $
-.\"
-.Dd November 14, 2009
+.Dd March 28, 2010
 .Dt KERNCONF 5
 .Os
 .Sh NAME
@@ -174,15 +172,19 @@ of that language apply.
 Sets the platform of this kernel to
 .Ar name .
 Legal platforms are
-.Sy pc32 ,
-.Sy pc64 ,
-and
-.Sy vkernel ,
-meaning either a 32 bit
+.Sy pc32
+(32 bit
 .Tn Intel
-architecture, a 64 bit
+architecture),
+.Sy pc64
+(64 bit
 .Tn AMD
-architecture, or a virtual kernel.
+architecture),
+.Sy vkernel
+(32 bit virtual kernel),
+and
+.Sy vkernel64
+(64 bit virtual kernel).
 .Pp
 .It Sy pseudo-device Ar name Op Ar N
 Includes support for the pseudo-device
@@ -201,8 +203,16 @@ kernel configuration file
 .It Pa /sys/config/LINT
 kernel configuration file for checking all the sources,
 includes description of kernel configuration options
+.It Pa /sys/config/SOEKRIS
+kernel configuration file for the
+.Tn Soekris Engineering net5501
+board
 .It Pa /sys/config/VKERNEL
-default
+default 32 bit
+.Xr vkernel 7
+kernel configuration file
+.It Pa /sys/config/VKERNEL64
+default 64 bit
 .Xr vkernel 7
 kernel configuration file
 .It Pa /sys/config/X86_64_GENERIC
index 77e8b9d..524496b 100644 (file)
@@ -29,9 +29,7 @@
 .\" OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 .\" SUCH DAMAGE.
 .\"
-.\" $DragonFly: src/share/man/man7/vkernel.7,v 1.43 2008/09/02 22:41:19 thomas Exp $
-.\"
-.Dd March 27, 2009
+.Dd March 28, 2010
 .Dt VKERNEL 7
 .Os
 .Sh NAME
@@ -41,7 +39,8 @@
 .Nm vke
 .Nd virtual kernel architecture
 .Sh SYNOPSIS
-.Cd "platform vkernel"
+.Cd "platform vkernel   # for 32 bit vkernels"
+.Cd "platform vkernel64 # for 64 bit vkernels"
 .Cd "device vcd"
 .Cd "device vkd"
 .Cd "device vke"
@@ -396,7 +395,8 @@ cause the virtual kernel to exit.
 .Sh BUILDING THE WORLD UNDER A VKERNEL
 The virtual kernel platform does not have all the header files expected
 by a world build, so the easiest thing to do right now is to specify a
-pc32 target when building the world under a virtual kernel, like this:
+pc32 (in a 32 bit vkernel) or pc64 (in a 64 bit vkernel) target when
+building the world under a virtual kernel, like this:
 .Bd -literal
 vkernel# make MACHINE_PLATFORM=pc32 buildworld
 vkernel# make MACHINE_PLATFORM=pc32 installworld
index 798f875..bd5f3ba 100644 (file)
@@ -1,11 +1,10 @@
 # Makefile.modules - build the modules (executed from the modules: target
 # in Makefile).
 #
-# $DragonFly: src/sys/Makefile.modules,v 1.7 2007/12/30 20:02:56 hasso Exp $
 .if defined(MODULES_OVERRIDE)
 SUBDIR=${MODULES_OVERRIDE}
 .else
-.if ${MACHINE_PLATFORM} != "vkernel"
+.if ${MACHINE_PLATFORM} != "vkernel" && ${MACHINE_PLATFORM} != "vkernel64"
 SUBDIR=bus
 .endif
 SUBDIR+=crypto emulation dev kern net netbt netgraph netproto vfs
index 72fb70e..3fc7713 100644 (file)
@@ -16,6 +16,6 @@ DESTKERNDIR?=         /boot
 
 # Set DESTDIR to /var/vkernel by default for vkernel platform so as
 # not to shoot the real kernel installation.
-.if ${MACHINE_PLATFORM} == vkernel
+.if ${MACHINE_PLATFORM} == vkernel || ${MACHINE_PLATFORM} == vkernel64
 DESTDIR?=              /var/vkernel
 .endif
index c24d852..c5b8cb1 100644 (file)
@@ -31,9 +31,8 @@
 .\"
 .\"     @(#)config.8   8.2 (Berkeley) 4/19/94
 .\" $FreeBSD: src/usr.sbin/config/config.8,v 1.21.2.7 2003/04/23 07:32:39 brueffer Exp $
-.\" $DragonFly: src/usr.sbin/config/config.8,v 1.10 2008/07/10 00:46:57 thomas Exp $
 .\"
-.Dd November 14, 2009
+.Dd March 28, 2010
 .Dt CONFIG 8
 .Os
 .Sh NAME
@@ -199,8 +198,16 @@ kernel configuration file
 .It Pa /sys/config/LINT
 kernel configuration file for checking all the sources,
 includes description of kernel configuration options
+.It Pa /sys/config/SOEKRIS
+kernel configuration file for the
+.Tn Soekris Engineering net5501
+board
 .It Pa /sys/config/VKERNEL
-default
+default 32 bit
+.Xr vkernel 7
+kernel configuration file
+.It Pa /sys/config/VKERNEL64
+default 64 bit
 .Xr vkernel 7
 kernel configuration file
 .It Pa /sys/config/X86_64_GENERIC