xref: /dflybsd-src/share/man/man7/vkernel.7 (revision f37681ee1f549d55730c32a553fef58bb28e2e82)
14af18995SSascha Wildner.\"
298b2ba80SSascha Wildner.\" Copyright (c) 2006, 2007
34af18995SSascha Wildner.\"	The DragonFly Project.  All rights reserved.
44af18995SSascha Wildner.\"
54af18995SSascha Wildner.\" Redistribution and use in source and binary forms, with or without
64af18995SSascha Wildner.\" modification, are permitted provided that the following conditions
74af18995SSascha Wildner.\" are met:
84af18995SSascha Wildner.\"
94af18995SSascha Wildner.\" 1. Redistributions of source code must retain the above copyright
104af18995SSascha Wildner.\"    notice, this list of conditions and the following disclaimer.
114af18995SSascha Wildner.\" 2. Redistributions in binary form must reproduce the above copyright
124af18995SSascha Wildner.\"    notice, this list of conditions and the following disclaimer in
134af18995SSascha Wildner.\"    the documentation and/or other materials provided with the
144af18995SSascha Wildner.\"    distribution.
154af18995SSascha Wildner.\" 3. Neither the name of The DragonFly Project nor the names of its
164af18995SSascha Wildner.\"    contributors may be used to endorse or promote products derived
174af18995SSascha Wildner.\"    from this software without specific, prior written permission.
184af18995SSascha Wildner.\"
194af18995SSascha Wildner.\" THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
204af18995SSascha Wildner.\" ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
214af18995SSascha Wildner.\" LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
224af18995SSascha Wildner.\" FOR A PARTICULAR PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE
234af18995SSascha Wildner.\" COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
244af18995SSascha Wildner.\" INCIDENTAL, SPECIAL, EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING,
254af18995SSascha Wildner.\" BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
264af18995SSascha Wildner.\" LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
274af18995SSascha Wildner.\" AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
284af18995SSascha Wildner.\" OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
294af18995SSascha Wildner.\" OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
304af18995SSascha Wildner.\" SUCH DAMAGE.
314af18995SSascha Wildner.\"
32*f37681eeSAaron LI.Dd December 27, 2018
334af18995SSascha Wildner.Dt VKERNEL 7
344af18995SSascha Wildner.Os
354af18995SSascha Wildner.Sh NAME
360592e24dSSascha Wildner.Nm vkernel ,
3798b2ba80SSascha Wildner.Nm vcd ,
380592e24dSSascha Wildner.Nm vkd ,
390592e24dSSascha Wildner.Nm vke
404af18995SSascha Wildner.Nd virtual kernel architecture
414af18995SSascha Wildner.Sh SYNOPSIS
42b6a66df5SSascha Wildner.Cd "platform vkernel64 # for 64 bit vkernels"
4398b2ba80SSascha Wildner.Cd "device vcd"
44c8e7d028SSascha Wildner.Cd "device vkd"
45c8e7d028SSascha Wildner.Cd "device vke"
46c8e7d028SSascha Wildner.Pp
471a92ebbbSSamuel J. Greear.Pa /var/vkernel/boot/kernel/kernel
48c5f1256bSMatthew Dillon.Op Fl hdstUvz
49a72d8a9fSMatthew Dillon.Op Fl c Ar file
5009b03fffSSascha Wildner.Op Fl e Ar name Ns = Ns Li value : Ns Ar name Ns = Ns Li value : Ns ...
51dd54cb3aSSascha Wildner.Op Fl i Ar file
52cbbd1e6dSAntonio Huete Jimenez.Op Fl I Ar interface Ns Op Ar :address1 Ns Oo Ar :address2 Oc Ns Oo Ar /netmask Oc Ns Oo Ar =mac Oc
53702acf06SJoe Talbott.Op Fl l Ar cpulock
544af18995SSascha Wildner.Op Fl m Ar size
559bea6114SMihai Carabas.Op Fl n Ar numcpus Ns Op Ar :lbits Ns Oo Ar :cbits Oc
56bc3cc25eSMatthew Dillon.Op Fl p Ar pidfile
572a4f37b8SAntonio Huete Jimenez.Op Fl r Ar file Ns Op Ar :serno
5854ea00b8SMatthew Dillon.Op Fl R Ar file Ns Op Ar :serno
594af18995SSascha Wildner.Sh DESCRIPTION
604af18995SSascha WildnerThe
614af18995SSascha Wildner.Nm
624af18995SSascha Wildnerarchitecture allows for running
634af18995SSascha Wildner.Dx
644af18995SSascha Wildnerkernels in userland.
654af18995SSascha Wildner.Pp
664af18995SSascha WildnerThe following options are available:
674af18995SSascha Wildner.Bl -tag -width ".Fl m Ar size"
68a72d8a9fSMatthew Dillon.It Fl c Ar file
697834fbccSSascha WildnerSpecify a readonly CD-ROM image
70a72d8a9fSMatthew Dillon.Ar file
71a72d8a9fSMatthew Dillonto be used by the kernel, with the first
72a72d8a9fSMatthew Dillon.Fl c
73a72d8a9fSMatthew Dillonoption defining
74a72d8a9fSMatthew Dillon.Li vcd0 ,
75a72d8a9fSMatthew Dillonthe second one
76a72d8a9fSMatthew Dillon.Li vcd1 ,
7762aea38eSSascha Wildnerand so on.
7862aea38eSSascha WildnerThe first
7954ea00b8SMatthew Dillon.Fl r ,
8054ea00b8SMatthew Dillon.Fl R ,
81a72d8a9fSMatthew Dillonor
82a72d8a9fSMatthew Dillon.Fl c
83a72d8a9fSMatthew Dillonoption specified on the command line will be the boot disk.
847834fbccSSascha WildnerThe CD9660 filesystem is assumed when booting from this media.
85822dfb20SSascha Wildner.It Fl d
86822dfb20SSascha WildnerDisables hardware pagetable for
87822dfb20SSascha Wildner.Nm .
8809b03fffSSascha Wildner.It Fl e Ar name Ns = Ns Li value : Ns Ar name Ns = Ns Li value : Ns ...
8909b03fffSSascha WildnerSpecify an environment to be used by the kernel.
90974f8ffeSAntonio Huete JimenezThis option can be specified more than once.
91278c4e67SSamuel J. Greear.It Fl h
92278c4e67SSamuel J. GreearShows a list of available options, each with a short description.
93dd54cb3aSSascha Wildner.It Fl i Ar file
94dd54cb3aSSascha WildnerSpecify a memory image
95dd54cb3aSSascha Wildner.Ar file
96dd54cb3aSSascha Wildnerto be used by the virtual kernel.
97dd54cb3aSSascha WildnerIf no
98dd54cb3aSSascha Wildner.Fl i
99dd54cb3aSSascha Wildneroption is given, the kernel will generate a name of the form
100dd54cb3aSSascha Wildner.Pa /var/vkernel/memimg.XXXXXX ,
101dd54cb3aSSascha Wildnerwith the trailing
102dd54cb3aSSascha Wildner.Ql X Ns s
103dd54cb3aSSascha Wildnerbeing replaced by a sequential number, e.g.\&
104dd54cb3aSSascha Wildner.Pa memimg.000001 .
10586d2b040SAntonio Huete Jimenez.It Fl I Ar interface Ns Op Ar :address1 Ns Oo Ar :address2 Oc Ns Oo Ar /netmask Oc Ns Oo Ar =MAC Oc
10609b03fffSSascha WildnerCreate a virtual network device, with the first
10709b03fffSSascha Wildner.Fl I
10809b03fffSSascha Wildneroption defining
1090592e24dSSascha Wildner.Li vke0 ,
11009b03fffSSascha Wildnerthe second one
1110592e24dSSascha Wildner.Li vke1 ,
11209b03fffSSascha Wildnerand so on.
11309b03fffSSascha Wildner.Pp
11409b03fffSSascha WildnerThe
11509b03fffSSascha Wildner.Ar interface
11609b03fffSSascha Wildnerargument is the name of a
11709b03fffSSascha Wildner.Xr tap 4
118bc3cc25eSMatthew Dillondevice node or the path to a
119bc3cc25eSMatthew Dillon.Xr vknetd 8
120bc3cc25eSMatthew Dillonsocket.
12109b03fffSSascha WildnerThe
12209b03fffSSascha Wildner.Pa /dev/
123bc3cc25eSMatthew Dillonpath prefix does not have to be specified and will be automatically prepended
124bc3cc25eSMatthew Dillonfor a device node.
12509b03fffSSascha WildnerSpecifying
12609b03fffSSascha Wildner.Cm auto
12709b03fffSSascha Wildnerwill pick the first unused
12809b03fffSSascha Wildner.Xr tap 4
12909b03fffSSascha Wildnerdevice.
13009b03fffSSascha Wildner.Pp
13109b03fffSSascha WildnerThe
13209b03fffSSascha Wildner.Ar address1
13309b03fffSSascha Wildnerand
13409b03fffSSascha Wildner.Ar address2
13509b03fffSSascha Wildnerarguments are the IP addresses of the
13609b03fffSSascha Wildner.Xr tap 4
13709b03fffSSascha Wildnerand
1380592e24dSSascha Wildner.Nm vke
13909b03fffSSascha Wildnerinterfaces.
14009b03fffSSascha WildnerOptionally,
14109b03fffSSascha Wildner.Ar address1
14209b03fffSSascha Wildnermay be of the form
14309b03fffSSascha Wildner.Li bridge Ns Em X
14409b03fffSSascha Wildnerin which case the
14509b03fffSSascha Wildner.Xr tap 4
14609b03fffSSascha Wildnerinterface is added to the specified
14709b03fffSSascha Wildner.Xr bridge 4
14809b03fffSSascha Wildnerinterface.
149a8cc122dSSascha WildnerThe
150a8cc122dSSascha Wildner.Nm vke
151a8cc122dSSascha Wildneraddress is not assigned until the interface is brought up in the guest.
15209b03fffSSascha Wildner.Pp
15309b03fffSSascha WildnerThe
15409b03fffSSascha Wildner.Ar netmask
15509b03fffSSascha Wildnerargument applies to all interfaces for which an address is specified.
156bc3cc25eSMatthew Dillon.Pp
15786d2b040SAntonio Huete JimenezThe
15886d2b040SAntonio Huete Jimenez.Ar MAC
15986d2b040SAntonio Huete Jimenezargument is the MAC address of the
16086d2b040SAntonio Huete Jimenez.Xr vke 4
16186d2b040SAntonio Huete Jimenezinterface.
16286d2b040SAntonio Huete JimenezIf not specified, a pseudo-random one will be generated.
16386d2b040SAntonio Huete Jimenez.Pp
164bc3cc25eSMatthew DillonWhen running multiple vkernels it is often more convenient to simply
165bc3cc25eSMatthew Dillonconnect to a
166bc3cc25eSMatthew Dillon.Xr vknetd 8
167c6e9e022SSascha Wildnersocket and let vknetd deal with the tap and/or bridge.
168c6e9e022SSascha WildnerAn example of this would be
169c6e9e022SSascha Wildner.Pa /var/run/vknet:0.0.0.0:10.2.0.2/16 .
170702acf06SJoe Talbott.It Fl l Ar cpulock
171702acf06SJoe TalbottSpecify which, if any, real CPUs to lock virtual CPUs to.
172702acf06SJoe Talbott.Ar cpulock
173702acf06SJoe Talbottis one of
174702acf06SJoe Talbott.Cm any ,
17526ea2793SSascha Wildner.Cm map Ns Op Ns , Ns Ar startCPU ,
17626ea2793SSascha Wildneror
17726ea2793SSascha Wildner.Ar CPU .
178702acf06SJoe Talbott.Pp
179702acf06SJoe Talbott.Cm any
18026ea2793SSascha Wildnerdoes not map virtual CPUs to real CPUs.
18126ea2793SSascha WildnerThis is the default.
182702acf06SJoe Talbott.Pp
183702acf06SJoe Talbott.Cm map Ns Op Ns , Ns Ar startCPU
184702acf06SJoe Talbottmaps each virtual CPU to a real CPU starting with real CPU 0 or
185702acf06SJoe Talbott.Ar startCPU
186702acf06SJoe Talbottif specified.
187702acf06SJoe Talbott.Pp
188702acf06SJoe Talbott.Ar CPU
18926ea2793SSascha Wildnerlocks all virtual CPUs to the real CPU specified by
19026ea2793SSascha Wildner.Ar CPU .
191c5f1256bSMatthew Dillon.Pp
192c5f1256bSMatthew DillonLocking the vkernel to a set of cpus is recommended on multi-socket systems
193c5f1256bSMatthew Dillonto improve NUMA locality of reference.
1944af18995SSascha Wildner.It Fl m Ar size
1954af18995SSascha WildnerSpecify the amount of memory to be used by the kernel in bytes,
1964af18995SSascha Wildner.Cm K
1973cea05a4SSascha Wildner.Pq kilobytes ,
1984af18995SSascha Wildner.Cm M
1993cea05a4SSascha Wildner.Pq megabytes
2003cea05a4SSascha Wildneror
2014af18995SSascha Wildner.Cm G
2023cea05a4SSascha Wildner.Pq gigabytes .
20309b03fffSSascha WildnerLowercase versions of
2044af18995SSascha Wildner.Cm K , M ,
2054af18995SSascha Wildnerand
2064af18995SSascha Wildner.Cm G
2074af18995SSascha Wildnerare allowed.
2089bea6114SMihai Carabas.It Fl n Ar numcpus Ns Op Ar :lbits Ns Oo Ar :cbits Oc
2099bea6114SMihai Carabas.Ar numcpus
2109bea6114SMihai Carabasspecifies the number of CPUs you wish to emulate.
2116e837288SSascha WildnerUp to 16 CPUs are supported with 2 being the default unless otherwise
2126e837288SSascha Wildnerspecified.
21382065d92SSascha Wildner.Pp
2149bea6114SMihai Carabas.Ar lbits
2159bea6114SMihai Carabasspecifies the number of bits within APICID(=CPUID) needed for representing
2169bea6114SMihai Carabasthe logical ID.
2179bea6114SMihai CarabasControls the number of threads/core (0 bits - 1 thread, 1 bit - 2 threads).
2189bea6114SMihai CarabasThis parameter is optional (mandatory only if
2199bea6114SMihai Carabas.Ar cbits
2209bea6114SMihai Carabasis specified).
22182065d92SSascha Wildner.Pp
2229bea6114SMihai Carabas.Ar cbits
2239bea6114SMihai Carabasspecifies the number of bits within APICID(=CPUID) needed for representing
2249bea6114SMihai Carabasthe core ID.
2259bea6114SMihai CarabasControls the number of core/package (0 bits - 1 core, 1 bit - 2 cores).
2269bea6114SMihai CarabasThis parameter is optional.
227bc3cc25eSMatthew Dillon.It Fl p Ar pidfile
228bc3cc25eSMatthew DillonSpecify a pidfile in which to store the process ID.
229bc3cc25eSMatthew DillonScripts can use this file to locate the vkernel pid for the purpose of
230bc3cc25eSMatthew Dillonshutting down or killing it.
231bc3cc25eSMatthew Dillon.Pp
232bc3cc25eSMatthew DillonThe vkernel will hold a lock on the pidfile while running.
233bc3cc25eSMatthew DillonScripts may test for the lock to determine if the pidfile is valid or
23467cdc5a5SSascha Wildnerstale so as to avoid accidentally killing a random process.
235bc3cc25eSMatthew DillonSomething like '/usr/bin/lockf -ks -t 0 pidfile echo -n' may be used
236bc3cc25eSMatthew Dillonto test the lock.
237bc3cc25eSMatthew DillonA non-zero exit code indicates that the pidfile represents a running
238bc3cc25eSMatthew Dillonvkernel.
239bc3cc25eSMatthew Dillon.Pp
240bc3cc25eSMatthew DillonAn error is issued and the vkernel exits if this file cannot be opened for
241bc3cc25eSMatthew Dillonwriting or if it is already locked by an active vkernel process.
2422a4f37b8SAntonio Huete Jimenez.It Fl r Ar file Ns Op Ar :serno
243a72d8a9fSMatthew DillonSpecify a R/W disk image
2444af18995SSascha Wildner.Ar file
245ec1a8a4dSSascha Wildnerto be used by the kernel, with the first
246ec1a8a4dSSascha Wildner.Fl r
247ec1a8a4dSSascha Wildneroption defining
2480592e24dSSascha Wildner.Li vkd0 ,
249ec1a8a4dSSascha Wildnerthe second one
2500592e24dSSascha Wildner.Li vkd1 ,
25162aea38eSSascha Wildnerand so on.
2522a4f37b8SAntonio Huete JimenezA serial number for the virtual disk can be specified in
2532a4f37b8SAntonio Huete Jimenez.Ar serno .
2542a4f37b8SAntonio Huete Jimenez.Pp
25562aea38eSSascha WildnerThe first
256a72d8a9fSMatthew Dillon.Fl r
257a72d8a9fSMatthew Dillonor
258a72d8a9fSMatthew Dillon.Fl c
259a72d8a9fSMatthew Dillonoption specified on the command line will be the boot disk.
26054ea00b8SMatthew Dillon.It Fl R Ar file Ns Op Ar :serno
26154ea00b8SMatthew DillonWorks like
26254ea00b8SMatthew Dillon.Fl r
26354ea00b8SMatthew Dillonbut treats the disk image as copy-on-write.  This allows
26454ea00b8SMatthew Dillona private copy of the image to be modified but does not
26554ea00b8SMatthew Dillonmodify the image file.  The image file will not be locked
26654ea00b8SMatthew Dillonin this situation and multiple vkernels can run off the
26754ea00b8SMatthew Dillonsame image file if desired.
26854ea00b8SMatthew Dillon.Pp
26954ea00b8SMatthew DillonSince modifications are thrown away, any data you wish
27054ea00b8SMatthew Dillonto retain across invocations needs to be exported over
27154ea00b8SMatthew Dillonthe network prior to shutdown.
27254ea00b8SMatthew DillonThis gives you the flexibility to mount the disk image
27354ea00b8SMatthew Dilloneither read-only or read-write depending on what is
27454ea00b8SMatthew Dillonconvenient.
27554ea00b8SMatthew DillonHowever, keep in mind that when mounting a COW image
27654ea00b8SMatthew Dillonread-write, modifications will eat system memory and
27754ea00b8SMatthew Dillonswap space until the vkernel is shut down.
278c8e7d028SSascha Wildner.It Fl s
279c8e7d028SSascha WildnerBoot into single-user mode.
280dc1b9d13SMatthew Dillon.It Fl t
281dc1b9d13SMatthew DillonTell the vkernel to use a precise host timer when calculating clock values.
2827b21e5e4SImre VadászIf the TSC isn't used, this will impose higher overhead on the vkernel as it
2837b21e5e4SImre Vadászwill have to make a system call to the real host every time it wants to get
2847b21e5e4SImre Vadászthe time.
285dc1b9d13SMatthew DillonHowever, the more precise timer might be necessary for your application.
286dc1b9d13SMatthew Dillon.Pp
2877b21e5e4SImre VadászBy default, the vkernel uses the TSC cpu timer if possible, or an imprecise
288*f37681eeSAaron LI(host-tick-resolution) timer which uses a user-mapped kernel page and does
2897b21e5e4SImre Vadásznot have any syscall overhead.
2907b21e5e4SImre Vadász.It Fl T
2917b21e5e4SImre VadászForce the vkernel to not use the TSC cpu timer.
29203071031SSascha Wildner.It Fl U
29303071031SSascha WildnerEnable writing to kernel memory and module loading.
29403071031SSascha WildnerBy default, those are disabled for security reasons.
2954af18995SSascha Wildner.It Fl v
2964af18995SSascha WildnerTurn on verbose booting.
297c5f1256bSMatthew Dillon.It Fl z
298c5f1256bSMatthew DillonForce the vkernel's ram to be pre-zerod.  Useful for benchmarking on
299c5f1256bSMatthew Dillonsingle-socket systems where the memory allocation does not have to be
300c5f1256bSMatthew DillonNUMA-friendly.
301c5f1256bSMatthew DillonThis options is not recommended on multi-socket systems or when the
302c5f1256bSMatthew Dillon.Fl l
303c5f1256bSMatthew Dillonoption is used.
3044af18995SSascha Wildner.El
3050592e24dSSascha Wildner.Sh DEVICES
3060592e24dSSascha WildnerA number of virtual device drivers exist to supplement the virtual kernel.
3070592e24dSSascha Wildner.Ss Disk device
3080592e24dSSascha WildnerThe
3090592e24dSSascha Wildner.Nm vkd
3100592e24dSSascha Wildnerdriver allows for up to 16
3110592e24dSSascha Wildner.Xr vn 4
3120592e24dSSascha Wildnerbased disk devices.
3130592e24dSSascha WildnerThe root device will be
3140592e24dSSascha Wildner.Li vkd0
3150592e24dSSascha Wildner(see
3160592e24dSSascha Wildner.Sx EXAMPLES
3170592e24dSSascha Wildnerfor further information on how to prepare a root image).
31898b2ba80SSascha Wildner.Ss CD-ROM device
31998b2ba80SSascha WildnerThe
32098b2ba80SSascha Wildner.Nm vcd
32198b2ba80SSascha Wildnerdriver allows for up to 16 virtual CD-ROM devices.
32298b2ba80SSascha WildnerBasically this is a read only
32398b2ba80SSascha Wildner.Nm vkd
32498b2ba80SSascha Wildnerdevice with a block size of 2048.
3250592e24dSSascha Wildner.Ss Network interface
3260592e24dSSascha WildnerThe
3270592e24dSSascha Wildner.Nm vke
3280592e24dSSascha Wildnerdriver supports up to 16 virtual network interfaces which are associated with
3290592e24dSSascha Wildner.Xr tap 4
3300592e24dSSascha Wildnerdevices on the host.
3310592e24dSSascha WildnerFor each
3320592e24dSSascha Wildner.Nm vke
3330592e24dSSascha Wildnerdevice, the per-interface read only
3340592e24dSSascha Wildner.Xr sysctl 3
3350592e24dSSascha Wildnervariable
3360592e24dSSascha Wildner.Va hw.vke Ns Em X Ns Va .tap_unit
3370592e24dSSascha Wildnerholds the unit number of the associated
3380592e24dSSascha Wildner.Xr tap 4
3390592e24dSSascha Wildnerdevice.
34033c27d6cSAntonio Huete Jimenez.Pp
34133c27d6cSAntonio Huete JimenezBy default, half of the total mbuf clusters available is distributed equally
342c6e9e022SSascha Wildneramong all the vke devices up to 256.
34349af6f0fSSascha WildnerThis can be overridden with the tunable
34433c27d6cSAntonio Huete Jimenez.Va hw.vke.max_ringsize .
34533c27d6cSAntonio Huete JimenezTake into account the number passed will be aligned to the lower power of two.
3461e4d9fd9SSascha Wildner.Sh SIGNALS
347bb195a01SMatthew DillonThe virtual kernel only enables
348bb195a01SMatthew Dillon.Dv SIGQUIT
349bb195a01SMatthew Dillonand
350bb195a01SMatthew Dillon.Dv SIGTERM
351bb195a01SMatthew Dillonwhile operating in regular console mode.
352bb195a01SMatthew DillonSending
3531e4d9fd9SSascha Wildner.Ql \&^\e
3541e4d9fd9SSascha Wildner.Pq Dv SIGQUIT
355bb195a01SMatthew Dillonto the virtual kernel causes the virtual kernel to enter its internal
3561e4d9fd9SSascha Wildner.Xr ddb 4
357bb195a01SMatthew Dillondebugger and re-enable all other terminal signals.
358bb195a01SMatthew DillonSending
359bb195a01SMatthew Dillon.Dv SIGTERM
360bb195a01SMatthew Dillonto the virtual kernel triggers a clean shutdown by passing a
361bb195a01SMatthew Dillon.Dv SIGUSR2
362bb195a01SMatthew Dillonto the virtual kernel's
363bb195a01SMatthew Dillon.Xr init 8
364bb195a01SMatthew Dillonprocess.
365974b26bfSSascha Wildner.Sh DEBUGGING
366974b26bfSSascha WildnerIt is possible to directly gdb the virtual kernel's process.
367974b26bfSSascha WildnerIt is recommended that you do a
368974b26bfSSascha Wildner.Ql handle SIGSEGV noprint
3694010bf94SNicolas Theryto ignore page faults processed by the virtual kernel itself and
370e7c2f376SNicolas Thery.Ql handle SIGUSR1 noprint
37120ce32a9SSascha Wildnerto ignore signals used for simulating inter-processor interrupts.
372b96eeefdSSascha Wildner.Sh PROFILING
373b96eeefdSSascha WildnerTo compile a vkernel with profiling support, the
374b96eeefdSSascha Wildner.Va CONFIGARGS
375b96eeefdSSascha Wildnervariable needs to be used to pass
376b96eeefdSSascha Wildner.Fl p
377b96eeefdSSascha Wildnerto
378b96eeefdSSascha Wildner.Xr config 8 .
379b96eeefdSSascha Wildner.Bd -literal
380b96eeefdSSascha Wildnercd /usr/src
381dd7331feSSascha Wildnermake -DNO_MODULES CONFIGARGS=-p buildkernel KERNCONF=VKERNEL64
382b96eeefdSSascha Wildner.Ed
383a154d422SThomas Nikolajsen.Sh FILES
384ec363e75SSascha Wildner.Bl -tag -width ".It Pa /sys/config/VKERNEL64" -compact
385ec363e75SSascha Wildner.It Pa /dev/vcdX
386ec363e75SSascha Wildner.Nm vcd
387ec363e75SSascha Wildnerdevice nodes
388ec363e75SSascha Wildner.It Pa /dev/vkdX
389ec363e75SSascha Wildner.Nm vkd
390ec363e75SSascha Wildnerdevice nodes
391163fd4e7SAntonio Huete Jimenez.It Pa /sys/config/VKERNEL64
392a154d422SThomas Nikolajsen.El
393163fd4e7SAntonio Huete Jimenez.Pp
394163fd4e7SAntonio Huete Jimenez.Nm
395dd7331feSSascha Wildnerconfiguration file, for
396163fd4e7SAntonio Huete Jimenez.Xr config 8 .
397a68e0df0SSascha Wildner.Sh CONFIGURATION FILES
398a68e0df0SSascha WildnerYour virtual kernel is a complete
399a68e0df0SSascha Wildner.Dx
400a68e0df0SSascha Wildnersystem, but you might not want to run all the services a normal kernel runs.
401a68e0df0SSascha WildnerHere is what a typical virtual kernel's
402a68e0df0SSascha Wildner.Pa /etc/rc.conf
403a68e0df0SSascha Wildnerfile looks like, with some additional possibilities commented out.
404a68e0df0SSascha Wildner.Bd -literal
405a68e0df0SSascha Wildnerhostname="vkernel"
406a68e0df0SSascha Wildnernetwork_interfaces="lo0 vke0"
407a68e0df0SSascha Wildnerifconfig_vke0="DHCP"
408a68e0df0SSascha Wildnersendmail_enable="NO"
409a68e0df0SSascha Wildner#syslog_enable="NO"
410a68e0df0SSascha Wildnerblanktime="NO"
411a68e0df0SSascha Wildner.Ed
41254ea00b8SMatthew Dillon.Sh BOOT DRIVE SELECTION
41354ea00b8SMatthew DillonYou can override the default boot drive selection and filesystem
41454ea00b8SMatthew Dillonusing a kernel environment variable.  Note that the filesystem
41554ea00b8SMatthew Dillonselected must be compiled into the vkernel and not loaded as
41654ea00b8SMatthew Dillona module.  You need to escape some quotes around the variable data
41754ea00b8SMatthew Dillonto avoid mis-interpretation of the colon in the
41854ea00b8SMatthew Dillon.Fl e
41954ea00b8SMatthew Dillonoption.  For example:
42054ea00b8SMatthew Dillon.Pp
42154ea00b8SMatthew Dillon.Fl e
42254ea00b8SMatthew Dillonvfs.root.mountfrom=\\"hammer:vkd0s1d\\"
423163fd4e7SAntonio Huete Jimenez.Sh DISKLESS OPERATION
424163fd4e7SAntonio Huete JimenezTo boot a
425163fd4e7SAntonio Huete Jimenez.Nm
426163fd4e7SAntonio Huete Jimenezfrom a NFS root, a number of tunables need to be set:
427163fd4e7SAntonio Huete Jimenez.Bl -tag -width indent
428163fd4e7SAntonio Huete Jimenez.It Va boot.netif.ip
429163fd4e7SAntonio Huete JimenezIP address to be set in the vkernel interface.
430163fd4e7SAntonio Huete Jimenez.It Va boot.netif.netmask
431163fd4e7SAntonio Huete JimenezNetmask for the IP to be set.
432163fd4e7SAntonio Huete Jimenez.It Va boot.netif.name
433163fd4e7SAntonio Huete JimenezNetwork interface name inside the vkernel.
434163fd4e7SAntonio Huete Jimenez.It Va boot.nfsroot.server
435163fd4e7SAntonio Huete JimenezHost running
436163fd4e7SAntonio Huete Jimenez.Xr nfsd 8 .
437163fd4e7SAntonio Huete Jimenez.It Va boot.nfsroot.path
438163fd4e7SAntonio Huete JimenezHost path where a world and distribution
439163fd4e7SAntonio Huete Jimeneztargets are properly installed.
440163fd4e7SAntonio Huete Jimenez.El
441163fd4e7SAntonio Huete Jimenez.Pp
442163fd4e7SAntonio Huete JimenezSee an example on how to boot a diskless
443163fd4e7SAntonio Huete Jimenez.Nm
444163fd4e7SAntonio Huete Jimenezin the
445163fd4e7SAntonio Huete Jimenez.Sx EXAMPLES
446163fd4e7SAntonio Huete Jimenezsection.
447c8e7d028SSascha Wildner.Sh EXAMPLES
4484af18995SSascha WildnerA couple of steps are necessary in order to prepare the system to build and
4494af18995SSascha Wildnerrun a virtual kernel.
4504af18995SSascha Wildner.Ss Setting up the filesystem
4514af18995SSascha WildnerThe
4524af18995SSascha Wildner.Nm
4534af18995SSascha Wildnerarchitecture needs a number of files which reside in
4544af18995SSascha Wildner.Pa /var/vkernel .
4554af18995SSascha WildnerSince these files tend to get rather big and the
4564af18995SSascha Wildner.Pa /var
4574af18995SSascha Wildnerpartition is usually of limited size, we recommend the directory to be
4584af18995SSascha Wildnercreated in the
4594af18995SSascha Wildner.Pa /home
4604af18995SSascha Wildnerpartition with a link to it in
4614af18995SSascha Wildner.Pa /var :
462c8e7d028SSascha Wildner.Bd -literal
463c009fcfaSThomas Nikolajsenmkdir -p /home/var.vkernel/boot
4644af18995SSascha Wildnerln -s /home/var.vkernel /var/vkernel
4654af18995SSascha Wildner.Ed
4664af18995SSascha Wildner.Pp
4674af18995SSascha WildnerNext, a filesystem image to be used by the virtual kernel has to be
46862aea38eSSascha Wildnercreated and populated (assuming world has been built previously).
46962aea38eSSascha WildnerIf the image is created on a UFS filesystem you might want to pre-zero it.
47049802d4eSMatthew DillonOn a HAMMER filesystem you should just truncate-extend to the image size
47149802d4eSMatthew Dillonas HAMMER does not re-use data blocks already present in the file.
472c8e7d028SSascha Wildner.Bd -literal
473f73862c5SSascha Wildnervnconfig -c -S 2g -T vn0 /var/vkernel/rootimg.01
47458c55700SSascha Wildnerdisklabel -r -w vn0s0 auto
475c009fcfaSThomas Nikolajsendisklabel -e vn0s0	# add `a' partition with fstype `4.2BSD'
47658c55700SSascha Wildnernewfs /dev/vn0s0a
47758c55700SSascha Wildnermount /dev/vn0s0a /mnt
478c8e7d028SSascha Wildnercd /usr/src
479c8e7d028SSascha Wildnermake installworld DESTDIR=/mnt
480c8e7d028SSascha Wildnercd etc
481c8e7d028SSascha Wildnermake distribution DESTDIR=/mnt
4827a3238b8SMatthew Dillonecho '/dev/vkd0s0a	/	ufs	rw	1  1' >/mnt/etc/fstab
4837a3238b8SMatthew Dillonecho 'proc		/proc	procfs	rw	0  0' >>/mnt/etc/fstab
4847834fbccSSascha Wildner.Ed
4857834fbccSSascha Wildner.Pp
4867834fbccSSascha WildnerEdit
4877834fbccSSascha Wildner.Pa /mnt/etc/ttys
4887834fbccSSascha Wildnerand replace the
4897834fbccSSascha Wildner.Li console
4907834fbccSSascha Wildnerentry with the following line and turn off all other gettys.
4917834fbccSSascha Wildner.Bd -literal
4927834fbccSSascha Wildnerconsole	"/usr/libexec/getty Pc"		cons25	on  secure
4937834fbccSSascha Wildner.Ed
4947834fbccSSascha Wildner.Pp
495eed435ddSStathis KamperisReplace
496eed435ddSStathis Kamperis.Li \&Pc
497eed435ddSStathis Kamperiswith
498eed435ddSStathis Kamperis.Li al.Pc
499eed435ddSStathis Kamperisif you would like to automatically log in as root.
500eed435ddSStathis Kamperis.Pp
5017834fbccSSascha WildnerThen, unmount the disk.
5027834fbccSSascha Wildner.Bd -literal
5034af18995SSascha Wildnerumount /mnt
5044af18995SSascha Wildnervnconfig -u vn0
5054af18995SSascha Wildner.Ed
5064af18995SSascha Wildner.Ss Compiling the virtual kernel
5074af18995SSascha WildnerIn order to compile a virtual kernel use the
508dd7331feSSascha Wildner.Li VKERNEL64
5094af18995SSascha Wildnerkernel configuration file residing in
510a154d422SThomas Nikolajsen.Pa /sys/config
5114af18995SSascha Wildner(or a configuration file derived thereof):
512c8e7d028SSascha Wildner.Bd -literal
5134af18995SSascha Wildnercd /usr/src
514dd7331feSSascha Wildnermake -DNO_MODULES buildkernel KERNCONF=VKERNEL64
515dd7331feSSascha Wildnermake -DNO_MODULES installkernel KERNCONF=VKERNEL64 DESTDIR=/var/vkernel
5164af18995SSascha Wildner.Ed
5174af18995SSascha Wildner.Ss Enabling virtual kernel operation
5184af18995SSascha WildnerA special
5194af18995SSascha Wildner.Xr sysctl 8 ,
5204af18995SSascha Wildner.Va vm.vkernel_enable ,
5214af18995SSascha Wildnermust be set to enable
5224af18995SSascha Wildner.Nm
5234af18995SSascha Wildneroperation:
524c8e7d028SSascha Wildner.Bd -literal
5254af18995SSascha Wildnersysctl vm.vkernel_enable=1
5264af18995SSascha Wildner.Ed
52709b03fffSSascha Wildner.Ss Configuring the network on the host system
52809b03fffSSascha WildnerIn order to access a network interface of the host system from the
52909b03fffSSascha Wildner.Nm ,
53009b03fffSSascha Wildneryou must add the interface to a
53109b03fffSSascha Wildner.Xr bridge 4
53209b03fffSSascha Wildnerdevice which will then be passed to the
53309b03fffSSascha Wildner.Fl I
53409b03fffSSascha Wildneroption:
53509b03fffSSascha Wildner.Bd -literal
53609b03fffSSascha Wildnerkldload if_bridge.ko
53709b03fffSSascha Wildnerkldload if_tap.ko
53809b03fffSSascha Wildnerifconfig bridge0 create
53909b03fffSSascha Wildnerifconfig bridge0 addm re0	# assuming re0 is the host's interface
54009b03fffSSascha Wildnerifconfig bridge0 up
54109b03fffSSascha Wildner.Ed
5424af18995SSascha Wildner.Ss Running the kernel
5434af18995SSascha WildnerFinally, the virtual kernel can be run:
544c8e7d028SSascha Wildner.Bd -literal
54579b58aaeSMatthew Dilloncd /var/vkernel
5467374a7a6SMatthew Dillon\&./boot/kernel/kernel -m 1g -r rootimg.01 -I auto:bridge0
5474af18995SSascha Wildner.Ed
548c8e7d028SSascha Wildner.Pp
54979b58aaeSMatthew DillonYou can issue the
55079b58aaeSMatthew Dillon.Xr reboot 8 ,
55179b58aaeSMatthew Dillon.Xr halt 8 ,
55279b58aaeSMatthew Dillonor
55379b58aaeSMatthew Dillon.Xr shutdown 8
55479b58aaeSMatthew Dilloncommands from inside a virtual kernel.
55579b58aaeSMatthew DillonAfter doing a clean shutdown the
556c8e7d028SSascha Wildner.Xr reboot 8
55779b58aaeSMatthew Dilloncommand will re-exec the virtual kernel binary while the other two will
55879b58aaeSMatthew Dilloncause the virtual kernel to exit.
5597374a7a6SMatthew Dillon.Ss Diskless operation (vkernel as a NFS client)
560163fd4e7SAntonio Huete JimenezBooting a
561163fd4e7SAntonio Huete Jimenez.Nm
562163fd4e7SAntonio Huete Jimenezwith a
563163fd4e7SAntonio Huete Jimenez.Xr vknetd 8
5647374a7a6SMatthew Dillonnetwork configuration.  The line continuation backslashes have been
5657374a7a6SMatthew Dillonomitted.  For convenience and to reduce confusion I recommend mounting
5667374a7a6SMatthew Dillonthe server's remote vkernel root onto the host running the vkernel binary
5677374a7a6SMatthew Dillonusing the same path as the NFS mount.  It is assumed that a full system
5687374a7a6SMatthew Dilloninstall has been made to /var/vkernel/root using a kernel KERNCONF=VKERNEL64
5697374a7a6SMatthew Dillonfor the kernel build.
570163fd4e7SAntonio Huete Jimenez.Bd -literal
5717374a7a6SMatthew Dillon\&/var/vkernel/root/boot/kernel/kernel
5727374a7a6SMatthew Dillon	-m 1g -n 4 -I /var/run/vknet
5737374a7a6SMatthew Dillon	-e boot.netif.ip=10.100.0.2
574163fd4e7SAntonio Huete Jimenez	-e boot.netif.netmask=255.255.0.0
5757374a7a6SMatthew Dillon	-e boot.netif.gateway=10.100.0.1
576163fd4e7SAntonio Huete Jimenez	-e boot.netif.name=vke0
5777374a7a6SMatthew Dillon	-e boot.nfsroot.server=10.0.0.55
5787374a7a6SMatthew Dillon	-e boot.nfsroot.path=/var/vkernel/root
579163fd4e7SAntonio Huete Jimenez.Ed
5807374a7a6SMatthew Dillon.Pp
5817374a7a6SMatthew DillonIn this example vknetd is assumed to have been started as shown below, before
5827374a7a6SMatthew Dillonrunning the vkernel, using an unbridged TAP configuration routed through
5837374a7a6SMatthew Dillonthe host.
5847374a7a6SMatthew DillonIP forwarding must be turned on, and in this example the server resides
5857374a7a6SMatthew Dillonon a different network accessible to the host executing the vkernel but not
5867374a7a6SMatthew Dillondirectly on the vkernel's subnet.
5877374a7a6SMatthew Dillon.Bd -literal
5887374a7a6SMatthew Dillonkldload if_tap
5897374a7a6SMatthew Dillonsysctl net.inet.ip.forwarding=1
5907374a7a6SMatthew Dillonvknetd -t tap0 10.100.0.1/16
5917374a7a6SMatthew Dillon.Ed
5927374a7a6SMatthew Dillon.Pp
5937374a7a6SMatthew DillonYou can run multiple vkernels trivially with the same NFS root as long as
5947374a7a6SMatthew Dillonyou assign each one a different IP on the subnet (2, 3, 4, etc).  You
5957374a7a6SMatthew Dillonshould also be careful with certain directories, particularly /var/run
5967374a7a6SMatthew Dillonand possibly also /var/db depending on what your vkernels are going to be
5977374a7a6SMatthew Dillondoing.
5987374a7a6SMatthew DillonThis can complicate matters with /var/db/pkg.
59934caba04SMatthew Dillon.Sh BUILDING THE WORLD UNDER A VKERNEL
60034caba04SMatthew DillonThe virtual kernel platform does not have all the header files expected
60134caba04SMatthew Dillonby a world build, so the easiest thing to do right now is to specify a
602579b67d2SSascha Wildnerpc64 (in a 64 bit vkernel) target when building the world under a virtual
603579b67d2SSascha Wildnerkernel, like this:
60434caba04SMatthew Dillon.Bd -literal
605579b67d2SSascha Wildnervkernel# make MACHINE_PLATFORM=pc64 buildworld
606579b67d2SSascha Wildnervkernel# make MACHINE_PLATFORM=pc64 installworld
60734caba04SMatthew Dillon.Ed
6084af18995SSascha Wildner.Sh SEE ALSO
609666855caSSascha Wildner.Xr vknet 1 ,
61009b03fffSSascha Wildner.Xr bridge 4 ,
6118988c073SSascha Wildner.Xr ifmedia 4 ,
61209b03fffSSascha Wildner.Xr tap 4 ,
613c8e7d028SSascha Wildner.Xr vn 4 ,
614a154d422SThomas Nikolajsen.Xr sysctl.conf 5 ,
615c8e7d028SSascha Wildner.Xr build 7 ,
616b96eeefdSSascha Wildner.Xr config 8 ,
617c8e7d028SSascha Wildner.Xr disklabel 8 ,
61809b03fffSSascha Wildner.Xr ifconfig 8 ,
619dbfd168bSMatthew Dillon.Xr vknetd 8 ,
620c8e7d028SSascha Wildner.Xr vnconfig 8
621c203b6f9SSascha Wildner.Rs
622c203b6f9SSascha Wildner.%A Aggelos Economopoulos
623c203b6f9SSascha Wildner.%D March 2007
624c203b6f9SSascha Wildner.%T "A Peek at the DragonFly Virtual Kernel"
625c203b6f9SSascha Wildner.Re
6264af18995SSascha Wildner.Sh HISTORY
6274af18995SSascha WildnerVirtual kernels were introduced in
6284af18995SSascha Wildner.Dx 1.7 .
6294af18995SSascha Wildner.Sh AUTHORS
6304af18995SSascha Wildner.An -nosplit
6314af18995SSascha Wildner.An Matt Dillon
6324af18995SSascha Wildnerthought up and implemented the
6334af18995SSascha Wildner.Nm
6340592e24dSSascha Wildnerarchitecture and wrote the
6350592e24dSSascha Wildner.Nm vkd
6360592e24dSSascha Wildnerdevice driver.
6370592e24dSSascha Wildner.An Sepherosa Ziehau
6380592e24dSSascha Wildnerwrote the
6390592e24dSSascha Wildner.Nm vke
6400592e24dSSascha Wildnerdevice driver.
6414af18995SSascha WildnerThis manual page was written by
6424af18995SSascha Wildner.An Sascha Wildner .
643