NUL Test Report

Sun, 26 Apr 2015 01:00:05 +0000 testbox/ivybridge-1-g5bc2785 (Michal Sojka: Move files related to nightly testing to another repo)

16. /home/nul/nul/michal/boot/vancouver-linux-basic.wv

novaboot: Connecting to IP relay... done
<iprelayd: connected>
novaboot: Entering directory `/home/nul/nul/build'
novaboot: Created vancuver.nulconfig
novaboot: Created /home/nul/nul/build/config-novaboot
novaboot: Running: rsync -RLp --chmod=Dg+s,ug+w,o-w,+rX --rsync-path="umask 002 && rsync" bin/apps/hypervisor bin/apps/sigma0.nul bin/apps/vancouver.nul bin/boot/munich imgs/bzImage-js imgs/initrd-wvtest-boot.lzma vancuver.nulconfig config-novaboot rtime.felk.cvut.cz:/srv/tftp/novaboot
novaboot: Reseting the test box... done
novaboot: Serial line interaction (press Ctrl-C to interrupt)...
handle id(3) is not a tty. Not changing mode at /usr/share/perl5/Expect.pm line 393, <> line 16.
handle id(3) is not a tty. Not changing mode at /usr/share/perl5/Expect.pm line 393, <> line 16.
handle id(3) is not a tty. Not changing mode at /usr/share/perl5/Expect.pm line 393, <> line 16.
handle id(3) is not a tty. Not changing mode at /usr/share/perl5/Expect.pm line 393, <> line 16.
***** WHICH IDE Returns: Pri/Sec:0, Mas/Slave: 0
SetSataPortString, Port# 0
***** Found a match!!! Drive= 0
GetDriveInfo()
GDI - Found HDD.
NOVA Microhypervisor v6-7ebd956 (x86_32): Apr 26 2015 01:00:34 [gcc 4.7.2]
[ 0] CORE:0:0:0 6:3a:9:1 [12] Intel(R) Core(TM) i5-3550 CPU @ 3.30GHz
[ 3] CORE:0:3:0 6:3a:9:1 [12] Intel(R) Core(TM) i5-3550 CPU @ 3.30GHz
[ 1] CORE:0:1:0 6:3a:9:1 [12] Intel(R) Core(TM) i5-3550 CPU @ 3.30GHz
[ 2] CORE:0:2:0 6:3a:9:1 [12] Intel(R) Core(TM) i5-3550 CPU @ 3.30GHz
=> hostkeyb:0,0x60,1,12 <=
=> script_start:1,1 <=
=> service_config <=
=> service_disk <=
Constructing service /disk...
Service /disk registered.
sc: start 0-1 count 1
sc: done.
tb: client data 3f000 guid 5 parent 925
(5) Ignored parameter: 'rom://bin/apps/vancouver.nul'
(5) => PC_PS2 <=
(5) => mem:0,0xa0000 <=
(5) physmem: 0 [0, a0000]
(5) => mem:0x100000 <=
(5) physmem: 0 [100000, 3c00000]
(5) => ioio <=
(5) => nullio:0x80 <=
(5) => pic:0x20,,0x4d0 <=
(5) => pic:0xa0,2,0x4d1 <=
(5) => pit:0x40,0 <=
(5) => scp:0x92,0x61 <=
(5) => kbc:0x60,1,12 <=
(5) => keyb:0,0x10000 <=
(5) => mouse:1,0x10001 <=
(5) => rtc:0x70,8 <=
(5) => serial:0x3f8,0x4,0x4711 <=
(5) => hostsink:0x4712,80 <=
(5) => vga:0x03c0 <=
(5) Allocating from guest 03be0000+20000
(5) VGA console 3be0000+20000 0x83fe0000
s0: => INIT done <=
(5) => vbios_disk <=
(5) => vbios_keyboard <=
(5) => hostkeyb:0x10,0x60,1,,1 <=
(5) => vbios_mem <=
(5) => vbios_time <=
(5) => vbios_reset <=
(5) => vbios_multiboot <=
(5) => msi <=
(5) => ioapic <=
(5) => pcihostbridge:0,0x10,0xcf8,0xe0000000 <=
(5) => pmtimer:0x8000 <=
(5) => vcpus <=
(5) => vcpu <=
(5) create VCPU
(5) => halifax <=
(5) => vbios <=
(5) => lapic <=
(5) startup
(5) LAPIC freq 102903968
(5) void DBus<M>::debug_dump() [with M = MessageHwIOIn]: Bus used 0 times.
(5) 0: StaticReceiver<Y>::StaticReceiver() [with Y = IOAccess]
(5)
(5) do_gsi_boot eip 80004bd8 esp 80239fec
(5) do_gsi_boot eip 800059b8 esp 80238fec
(5) RESET device state
(5) INIT done
(5) reset CPU from 9 mtr_in e0010
(5) > bool VirtualBiosMultiboot::receive(MessageBios&) rip ffff ilen 3 cr0 10 efl 10002
(5) module 0 start 0x81c00000+918 cmdline rom://bin/boot/munich
(5) module 1 start 0x81c02000+32db80 cmdline rom://imgs/bzImage-js clocksource=tsc co
(5) module 2 start 0x81f31000+339 cmdline rom://imgs/initrd-wvtest-boot.lzma
(5) # MUNICH: v.0.4.6 starts Linux
(5) # MUNICH: 2.6.36-rc8-00002-g469008a-dirty (julian@monat) #13 SMP Mon Oct 18 17:10
(5) # | :10 CEST 2010
(5) # MUNICH: clocksource=tsc console=ttyS0
(5) # MUNICH: initrd 1B31000
(5) # MUNICH: copy image
(5) # MUNICH: start kernel
(5) handle_int15 eax e801 ebx 0 ecx 0 edx 0 eip ffff efl 10002
(5) handle_int15 eax c000 ebx 0 ecx 0 edx 0 eip ffff efl 10002
(5) handle_int15 eax e980 ebx 0 ecx 0 edx 47534943 eip ffff efl 10002
(5) VESA 4f00 tag 0 base 40000+3610 esi 0
(5) handle_int10 eax 4f15 ebx 0 ecx 0 edx 0 eip ffff efl 10003
(5) # [ 0.000000] Linux version 2.6.36-rc8-00002-g469008a-dirty (julian@monat) (gc
(5) # | c version 4.4.5 (Ubuntu/Linaro 4.4.4-14ubuntu5) ) #13 SMP Mon Oct 18 17:10:10 C
(5) # | EST 2010
(5) # [ 0.000000] CPU: vendor_id 'NOVA microHV' unknown, using generic init.
(5) # [ 0.000000] CPU: Your system may be unstable.
(5) # [ 0.000000] BIOS-provided physical RAM map:
(5) # [ 0.000000] BIOS-e820: 0000000000000000 - 000000000009ac00 (usable)
(5) # [ 0.000000] BIOS-e820: 000000000009ac00 - 00000000000a0000 (reserved)
(5) # [ 0.000000] BIOS-e820: 0000000000100000 - 0000000003be0000 (usable)
(5) # [ 0.000000] Notice: NX (Execute Disable) protection missing in CPU or disabl
(5) # | ed in BIOS!
(5) # [ 0.000000] DMI not present or invalid.
(5) # [ 0.000000] last_pfn = 0x3be0 max_arch_pfn = 0x100000
(5) # [ 0.000000] init_memory_mapping: 0000000000000000-0000000003be0000
(5) # [ 0.000000] RAMDISK: 01b31000 - 01b32000
(5) # [ 0.000000] ACPI: RSDP 0009ce00 00014 (v00 NOVA )
(5) # [ 0.000000] ACPI: RSDT 0009e000 00030 (v01 NOVA bk@vmmon 00000001 000
(5) # | 00000)
(5) # [ 0.000000] ACPI: APIC 0009f000 00064 (v01 NOVA bk@vmmon 00000001 000
(5) # | 00000)
(5) # [ 0.000000] ACPI: MCFG 0009bc00 0003C (v01 NOVA bk@vmmon 00000001 000
(5) # | 00000)
(5) # [ 0.000000] ACPI: FACP 0009ac00 000DC (v01 NOVA bk@vmmon 00000001 000
(5) # | 00000)
(5) # [ 0.000000] ACPI Error: Required field Pm1aEventBlock has zero address and/o
(5) # | r length: 0x0000000000000000/0x0 (20100702/tbfadt-541)
(5) # [ 0.000000] ACPI Error: Required field Pm1aControlBlock has zero address and
(5) # | /or length: 0x0000000000000000/0x0 (20100702/tbfadt-541)
(5) # [ 0.000000] ACPI Error: Null physical address for ACPI table [DSDT] (2010070
(5) # | 2/tbutils-459)
(5) # [ 0.000000] ACPI Error: Null physical address for ACPI table [FACS] (2010070
(5) # | 2/tbutils-459)
(5) # [ 0.000000] 0MB HIGHMEM available.
(5) # [ 0.000000] 59MB LOWMEM available.
(5) # [ 0.000000] mapped low ram: 0 - 03be0000
(5) # [ 0.000000] low ram: 0 - 03be0000
(5) # [ 0.000000] Zone PFN ranges:
(5) # [ 0.000000] DMA 0x00000001 -> 0x00001000
(5) # [ 0.000000] Normal 0x00001000 -> 0x00003be0
(5) # [ 0.000000] HighMem empty
(5) # [ 0.000000] Movable zone start PFN for each node
(5) # [ 0.000000] early_node_map[2] active PFN ranges
(5) # [ 0.000000] 0: 0x00000001 -> 0x0000009a
(5) # [ 0.000000] 0: 0x00000100 -> 0x00003be0
(5) # [ 0.000000] Using APIC driver default
(5) # [ 0.000000] ACPI: PM-Timer IO Port: 0x8000
(5) # [ 0.000000] ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)
(5) # [ 0.000000] ACPI: X2APIC_NMI (uid[0xffffffff] dfl dfl lint[0x1])
(5) # [ 0.000000] ACPI: LAPIC_NMI (acpi_id[0xff] dfl dfl lint[0x1])
(5) # [ 0.000000] ACPI: IOAPIC (id[0x00] address[0xfec00000] gsi_base[0])
(5) # [ 0.000000] IOAPIC[0]: apic_id 0, version 32, address 0xfec00000, GSI 0-23
(5) # [ 0.000000] ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl dfl)
(5) # [ 0.000000] ACPI: NMI_SRC (dfl dfl global_irq 23)
(5) # [ 0.000000] Using ACPI (MADT) for SMP configuration information
(5) # [ 0.000000] SMP: Allowing 1 CPUs, 0 hotplug CPUs
(5) # [ 0.000000] Allocating PCI resources starting at 3be0000 (gap: 3be0000:fc420
(5) # | 000)
(5) # [ 0.000000] setup_percpu: NR_CPUS:8 nr_cpumask_bits:8 nr_cpu_ids:1 nr_node_i
(5) # | ds:1
(5) # [ 0.000000] PERCPU: Embedded 11 pages/cpu @c1c00000 s29824 r0 d15232 u419430
(5) # | 4
(5) # [ 0.000000] pcpu-alloc: s29824 r0 d15232 u4194304 alloc=1*4194304
(5) # [ 0.000000] pcpu-alloc: [0] 0
(5) # [ 0.000000] Built 1 zonelists in Zone order, mobility grouping on. Total pa
(5) # | ges: 15105
(5) # [ 0.000000] Kernel command line: clocksource=tsc console=ttyS0
(5) # [ 0.000000] PID hash table entries: 256 (order: -2, 1024 bytes)
(5) # [ 0.000000] Dentry cache hash table entries: 8192 (order: 3, 32768 bytes)
(5) # [ 0.000000] Inode-cache hash table entries: 4096 (order: 2, 16384 bytes)
(5) # [ 0.000000] Enabling fast FPU save and restore... done.
(5) # [ 0.000000] Enabling unmasked SIMD FPU exception support... done.
(5) # [ 0.000000] Initializing CPU#0
(5) # [ 0.000000] Subtract (30 early reservations)
(5) # [ 0.000000] #1 [0000001000 - 0000002000] EX TRAMPOLINE
(5) # [ 0.000000] #2 [0001000000 - 0001762554] TEXT DATA BSS
(5) # [ 0.000000] #3 [0001b31000 - 0001b32000] RAMDISK
(5) # [ 0.000000] #4 [000009ac00 - 0000100000] BIOS reserved
(5) # [ 0.000000] #5 [0001763000 - 000176a000] BRK
(5) # [ 0.000000] #6 [0000002000 - 0000003000] TRAMPOLINE
(5) # [ 0.000000] #7 [0000007000 - 0000008000] PGTABLE
(5) # [ 0.000000] #8 [000176a000 - 000176b000] BOOTMEM
(5) # [ 0.000000] #9 [0001762680 - 0001762688] BOOTMEM
(5) # [ 0.000000] #10 [000176b000 - 00017eb000] BOOTMEM
(5) # [ 0.000000] #11 [0001762580 - 0001762640] BOOTMEM
(5) # [ 0.000000] #12 [00017626c0 - 00017629c0] BOOTMEM
(5) # [ 0.000000] #13 [0001762640 - 0001762667] BOOTMEM
(5) # [ 0.000000] #14 [00017629c0 - 0001762a30] BOOTMEM
(5) # [ 0.000000] #15 [0001762a40 - 0001762a80] BOOTMEM
(5) # [ 0.000000] #16 [0001762a80 - 0001762ac0] BOOTMEM
(5) # [ 0.000000] #17 [0001762ac0 - 0001762b00] BOOTMEM
(5) # [ 0.000000] #18 [0001762b00 - 0001762b1e] BOOTMEM
(5) # [ 0.000000] #19 [0001762b40 - 0001762b5e] BOOTMEM
(5) # [ 0.000000] #20 [0001c00000 - 0001c0b000] BOOTMEM
(5) # [ 0.000000] #21 [0001762b80 - 0001762b84] BOOTMEM
(5) # [ 0.000000] #22 [0001762bc0 - 0001762bc4] BOOTMEM
(5) # [ 0.000000] #23 [0001762c00 - 0001762c04] BOOTMEM
(5) # [ 0.000000] #24 [0001762c40 - 0001762c44] BOOTMEM
(5) # [ 0.000000] #25 [0001762c80 - 0001762d30] BOOTMEM
(5) # [ 0.000000] #26 [0001762d40 - 0001762de8] BOOTMEM
(5) # [ 0.000000] #27 [00017eb000 - 00017eb400] BOOTMEM
(5) # [ 0.000000] #28 [00017eb400 - 00017f3400] BOOTMEM
(5) # [ 0.000000] #29 [00017f3400 - 00017f7400] BOOTMEM
(5) # [ 0.000000] Initializing HighMem for node 0 (00000000:00000000)
(5) # [ 0.000000] Memory: 52680k/61312k available (4361k kernel code, 8220k reserv
(5) # | ed, 2335k data, 400k init, 0k highmem)
(5) # [ 0.000000] virtual kernel memory layout:
(5) # [ 0.000000] fixmap : 0xfff17000 - 0xfffff000 ( 928 kB)
(5) # [ 0.000000] pkmap : 0xff800000 - 0xffc00000 (4096 kB)
(5) # [ 0.000000] vmalloc : 0xc43e0000 - 0xff7fe000 ( 948 MB)
(5) # [ 0.000000] lowmem : 0xc0000000 - 0xc3be0000 ( 59 MB)
(5) # [ 0.000000] .init : 0xc168b000 - 0xc16ef000 ( 400 kB)
(5) # [ 0.000000] .data : 0xc1442735 - 0xc168a470 (2335 kB)
(5) # [ 0.000000] .text : 0xc1000000 - 0xc1442735 (4361 kB)
(5) # [ 0.000000] Checking if this processor honours the WP bit even in supervisor
(5) # | mode...Ok.
(5) # [ 0.000000] SLUB: Genslabs=13, HWalign=32, Order=0-3, MinObjects=0, CPUs=1,
(5) # | Nodes=1
(5) # [ 0.000000] Hierarchical RCU implementation.
(5) # [ 0.000000] RCU-based detection of stalled CPUs is disabled.
(5) # [ 0.000000] Verbose stalled-CPUs detection is disabled.
(5) # [ 0.000000] NR_IRQS:2304 nr_irqs:256
(5) # [ 0.000000] Console: colour VGA+ 80x25
(5) # [ 0.000000] console [ttyS0] enabled
(5) # [ 0.000000] Fast TSC calibration using PIT
(5) # [ 0.000000] Detected 3293.298 MHz processor.
(5) # [ 0.012002] Calibrating delay loop (skipped), value calculated using timer f
(5) # | requency.. 6586.59 BogoMIPS (lpj=13173192)
(5) # [ 0.020002] pid_max: default: 32768 minimum: 301
(5) # [ 0.024011] Mount-cache hash table entries: 512
(5) # [ 0.028068] Performance Events:
(5) # [ 0.033197] SMP alternatives: switching to UP code
(5) # [ 0.046696] Freeing SMP alternatives: 24k freed
(5) # [ 0.048003] ACPI: Core revision 20100702
(5) # [ 0.052011] ACPI Exception: AE_NO_ACPI_TABLES, While loading namespace from
(5) # | ACPI tables (20100702/tbxface-640)
(5) # [ 0.060001] ACPI: Unable to load the System Description Tables
(5) # [ 0.064020] Enabling APIC mode: Flat. Using 1 I/O APICs
(5) # [ 0.068782] ..TIMER: vector=0x30 apic1=0 pin1=2 apic2=-1 pin2=-1
(5) # [ 0.111752] CPU0: NOVA microHV Vancouver VMM proudly presents this VirtualCP
(5) # | U. stepping 03
(5) # [ 0.116000] NMI watchdog failed to create perf event on cpu0: ffffffed
(5) # [ 0.116002] Brought up 1 CPUs
(5) # [ 0.120002] Total of 1 processors activated (6586.59 BogoMIPS).
(5) # [ 0.124267] NET: Registered protocol family 16
(5) # [ 0.154616] PCI: Using configuration type 1 for base access
(5) # [ 0.157518] bio: create slab <bio-0> at 0
(5) # [ 0.160040] ACPI: Interpreter disabled.
(5) # [ 0.164185] vgaarb: loaded
(5) # [ 0.168058] SCSI subsystem initialized
(5) # [ 0.172063] usbcore: registered new interface driver usbfs
(5) # [ 0.176018] usbcore: registered new interface driver hub
(5) # [ 0.180020] usbcore: registered new device driver usb
(5) # [ 0.184069] Advanced Linux Sound Architecture Driver Version 1.0.23.
(5) # [ 0.188003] PCI: Probing PCI hardware
(5) # [ 0.200705] Switching to clocksource tsc
(5) # [ 0.204014] pnp: PnP ACPI: disabled
(5) # [ 0.244022] NET: Registered protocol family 2
(5) # [ 0.249605] IP route cache hash table entries: 1024 (order: 0, 4096 bytes)
(5) # [ 0.258019] TCP established hash table entries: 2048 (order: 2, 16384 bytes)
(5) # | [ 0.266600] TCP bind hash table entries: 2048 (order: 2, 16384 bytes)
(5) # [ 0.274719] TCP: Hash tables configured (established 2048 bind 2048)
(5) # [ 0.282641] TCP reno registered
(5) # [ 0.286956] UDP hash table entries: 128 (order: 0, 4096 bytes)
(5) # [ 0.293982] UDP-Lite hash table entries: 128 (order: 0, 4096 bytes)
(5) # [ 0.301475] NET: Registered protocol family 1
(5) # [ 0.307060] RPC: Registered udp transport module.
(5) # [ 0.312926] RPC: Registered tcp transport module.
(5) # [ 0.318811] RPC: Registered tcp NFSv4.1 backchannel transport module.
(5) # [ 0.326778] Trying to unpack rootfs image as initramfs...
(5) # [ 0.333799] Freeing initrd memory: 4k freed
(5) # [ 0.339176] platform rtc_cmos: registered platform RTC device (no PNP device
(5) # | found)
(5) # [ 0.350020] microcode: no support for this CPU vendor
(5) # [ 0.356306] HugeTLB registered 4 MB page size, pre-allocated 0 pages
(5) # [ 0.365346] msgmni has been set to 102
(5) # [ 0.370339] Block layer SCSI generic (bsg) driver version 0.4 loaded (major
(5) # | 253)
(5) # [ 0.380779] io scheduler noop registered
(5) # [ 0.385877] io scheduler deadline registered
(5) # [ 0.391344] io scheduler cfq registered (default)
(5) # [ 0.397265] pci_hotplug: PCI Hot Plug PCI Core version: 0.5
(5) # [ 0.404140] Non-volatile memory driver v1.3
(5) # [ 0.409468] Linux agpgart interface v0.103
(5) # [ 0.414844] [drm] Initialized drm 1.1.0 20060810
(5) # [ 0.420625] Serial: 8250/16550 driver, 4 ports, IRQ sharing enabled
(5) # ÿÿ[ 0.682356] serial8250: ttyS0 at I/O 0x3f8 (irq = 4) is a 16450
(5) # [ 0.690168] brd: module loaded
(5) # [ 0.694606] loop: module loaded
(5) # [ 0.699027] e1000: Intel(R) PRO/1000 Network Driver - version 7.3.21-k6-NAPI
(5) # | [ 0.707599] e1000: Copyright (c) 1999-2006 Intel Corporation.
(5) # [ 0.714724] e1000e: Intel(R) PRO/1000 Network Driver - 1.2.7-k2
(5) # [ 0.721849] e1000e: Copyright (c) 1999 - 2010 Intel Corporation.
(5) # [ 0.729068] Intel(R) Gigabit Ethernet Network Driver - version 2.1.0-k2
(5) # [ 0.737189] Copyright (c) 2007-2009 Intel Corporation.
(5) # [ 0.743522] Intel(R) Virtual Function Network Driver - version 1.0.0-k0
(5) # [ 0.751645] Copyright (c) 2009 Intel Corporation.
(5) # [ 0.757539] ixgbe: Intel(R) 10 Gigabit PCI Express Network Driver - version
(5) # | 2.0.84-k2
(5) # [ 0.768407] ixgbe: Copyright (c) 1999-2010 Intel Corporation.
(5) # [ 0.775360] ixgbevf: Intel(R) 82599 Virtual Function - version 1.0.0-k0
(5) # [ 0.783483] Copyright (c) 2009 Intel Corporation.
(5) # [ 0.789379] ixgb: Intel(R) PRO/10GbE Network Driver - version 1.0.135-k2-NAP
(5) # | I
(5) # [ 0.799645] ixgb: Copyright (c) 1999-2008 Intel Corporation.
(5) # [ 0.806517] jme: JMicron JMC2XX ethernet driver version 1.0.6
(5) # [ 0.813471] VMware vmxnet3 virtual NIC driver - version 1.0.14.0-k-NAPI
(5) # [ 0.821638] pcnet32: pcnet32.c:v1.35 21.Apr.2008 tsbogend@alpha.franken.de
(5) # [ 0.830042] e100: Intel(R) PRO/100 Network Driver, 3.5.24-k2-NAPI
(5) # [ 0.837451] e100: Copyright(c) 1999-2006 Intel Corporation
(5) # [ 0.844171] Broadcom NetXtreme II 5771x 10Gigabit Ethernet Driver bnx2x 1.52
(5) # | .53-4 (2010/16/08)
(5) # [ 0.855959] vxge: Copyright(c) 2002-2010 Exar Corp.
(5) # [ 0.862007] vxge: Driver version: 2.0.9.20840-k
(5) # [ 0.867727] console [netcon0] enabled
(5) # [ 0.872557] netconsole: network logging started
(5) # [ 0.878432] usbmon: debugfs is not available
(5) # [ 0.883851] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
(5) # [ 0.891894] ohci_hcd: USB 1.1 'Open' Host Controller (OHCI) Driver
(5) # [ 0.899302] uhci_hcd: USB Universal Host Controller Interface driver
(5) # [ 0.907249] Initializing USB Mass Storage driver...
(5) # [ 0.913307] usbcore: registered new interface driver usb-storage
(5) # [ 0.920540] USB Mass Storage support registered.
(5) # [ 0.926349] usbcore: registered new interface driver libusual
(5) # [ 0.933324] PNP: No PS/2 controller found. Probing ports directly.
(5) # [ 0.940995] serio: i8042 KBD port at 0x60,0x64 irq 1
(5) # [ 0.947135] serio: i8042 AUX port at 0x60,0x64 irq 12
(5) # [ 0.953414] mice: PS/2 mouse device common for all mice
(5) # [ 0.959930] input: AT Translated Set 2 keyboard as /devices/platform/i8042/s
(5) # | erio0/input/input0
(5) # [ 0.971629] rtc_cmos rtc_cmos: rtc core: registered rtc_cmos as rtc0
(5) # [ 0.979606] rtc0: alarms up to one day, 114 bytes nvram
(5) # [ 0.986450] device-mapper: ioctl: 4.18.0-ioctl (2010-06-29) initialised: dm-
(5) # | devel@redhat.com
(5) # [ 0.997960] cpuidle: using governor ladder
(5) # [ 1.003308] cpuidle: using governor menu
(5) # [ 1.008663] usbcore: registered new interface driver hiddev
(5) # [ 1.015440] usbcore: registered new interface driver usbhid
(5) # [ 1.022212] usbhid: USB HID core driver
(5) # [ 1.027248] ALSA device list:
(5) # [ 1.031345] No soundcards found.
(5) # [ 1.035930] IPv4 over IPv4 tunneling driver
(5) # [ 1.041350] TCP cubic registered
(5) # [ 1.045708] Initializing XFRM netlink socket
(5) # [ 1.051255] NET: Registered protocol family 10
(5) # [ 1.056907] lo: Disabled Privacy Extensions
(5) # [ 1.062246] tunl0: Disabled Privacy Extensions
(5) # [ 1.067866] Mobile IPv6
(5) # [ 1.071464] NET: Registered protocol family 17
(5) # [ 1.077099] Registering the dns_resolver key type
(5) # [ 1.082976] Using IPI No-Shortcut mode
(5) # [ 1.088037] Freeing unused kernel memory: 400k freed
(5) # [ 1.094214] Write protecting the kernel text: 4364k
(5) # [ 1.100268] Write protecting the kernel read-only data: 1900k
(5) # ! Linux booted okok
(5) # wvtest: done
(5) #
! /home/nul/nul/michal/wvtest/wvnulrun: $assertions_executed > 0 okok
novaboot: Read /home/nul/nul/.novaboot