Test name: nova-x86
Machine: Skylake
Ipxe config (ipxe-18-31-bf-b6-9c-f4.cfg):
#!ipxe
sleep 10
kernel tftp://${next-server}/sotest/18-31-bf-b6-9c-f4/bender || goto fail
initrd tftp://${next-server}/sotest/18-31-bf-b6-9c-f4/hypervisor serial novga iommu || goto fail
initrd tftp://${next-server}/sotest/18-31-bf-b6-9c-f4/nova-x86.image.elf-x86_64-unknown-genode || goto fail
boot
:fail
echo kernel/initrd load fail
echo cannot boot
:end
(%'(*,./A#HIJMR ?O o0@BD!"#$'C&}Cq\a]!U;2 0P#$@Acd"O@AG`abipr$xbyBender: Hello World. Need 01531000 bytes to relocate modules. Relocating to 7eacf000: Copying 22061728 bytes... Copying 154216 bytes... NOVA Microhypervisor v8-0000000 (x86_64): Jan 1 1970 00:00:01 [gcc 9.2.0] [MBI] [ 0] TSC:3700000 kHz BUS:0 kHz DL [ 0] CORE:0:0:0 6:5e:3:1 [c2] Intel(R) Core(TM) i3-6100 CPU @ 3.70GHz [ 2] CORE:0:0:1 6:5e:3:1 [c2] Intel(R) Core(TM) i3-6100 CPU @ 3.70GHz [ 1] CORE:0:1:0 6:5e:3:1 [c2] Intel(R) Core(TM) i3-6100 CPU @ 3.70GHz [ 3] CORE:0:1:1 6:5e:3:1 [c2] Intel(R) Core(TM) i3-6100 CPU @ 3.70GHz [ 0] disabling super pages for DMAR Hypervisor features VMX[0m Hypervisor reports 4x1 CPUs[0m CPU ID (genode->kernel:package:core:thread) remapping[0m remap (0->0:0:0:0) boot cpu[0m remap (1->1:0:1:0) [0m remap (2->2:0:0:1) [0m remap (3->3:0:1:1) [0m Hypervisor info page contains 12 memory descriptors:[0m core image [0000000000100000,0000000001609000)[0m binaries region [00000000002a8000,0000000001609000) free for reuse[0m detected physical memory: 0x0000000000000000 - size: 0x000000000009c400[0m use physical memory: 0x0000000000000000 - size: 0x000000000009c000[0m detected physical memory: 0x0000000000100000 - size: 0x00000000b3a1e000[0m use physical memory: 0x0000000000100000 - size: 0x00000000b3a1e000[0m detected physical memory: 0x00000000b3b53000 - size: 0x00000000003a1000[0m use physical memory: 0x00000000b3b53000 - size: 0x00000000003a1000[0m detected physical memory: 0x00000000b3ef6000 - size: 0x000000000cc5e000[0m use physical memory: 0x00000000b3ef6000 - size: 0x000000000cc5e000[0m detected physical memory: 0x00000000c2295000 - size: 0x00000000001bb000[0m use physical memory: 0x00000000c2295000 - size: 0x00000000001bb000[0m detected physical memory: 0x00000000c32ff000 - size: 0x0000000000001000[0m use physical memory: 0x00000000c32ff000 - size: 0x0000000000001000[0m detected physical memory: 0x0000000100000000 - size: 0x0000000137000000[0m use physical memory: 0x0000000100000000 - size: 0x0000000137000000[0m reserved memory: 0x7eaf5000 - size: 0x150a2a0 type=-2[0m reserved memory: 0x1000000 - size: 0x800000 type=-1[0m reserved memory: 0x1800000 - size: 0xc00000 type=-1[0m reserved memory: 0xb3b1e028 - size: 0x0 type=-3[0m reserved memory: 0xb3b1e0a8 - size: 0x0 type=-4[0m ROM modules: ROM: [000000007ec9e000,000000007eeb47d8) acpi_drv ROM: [000000007fffd000,000000007fffe17b) config ROM: [0000000000009000,000000000000d000) core_log ROM: [000000007f0cf000,000000007f5312e0) init ROM: [000000007f0cd000,000000007f0cebec) init.xsd ROM: [000000007efca000,000000007f0ccaf0) ld.lib.so ROM: [000000007f532000,000000007fa50fe0) platform_drv ROM: [0000000000007000,0000000000008000) platform_info ROM: [000000007fa51000,000000007fbb28d8) report_rom ROM: [000000007fbb3000,000000007fd0b408) rtc_drv ROM: [000000007fd0c000,000000007fd2ab18) sotest-harness ROM: [000000007fd2b000,000000007fdcf4b0) test-pci ROM: [000000007fdd0000,000000007fed3980) test-rtc ROM: [000000007fed4000,000000007fffc330) test-signal ROM: [000000007eeb5000,000000007efc98c0) timer_drv [0m 20M kernel memory[0m [0m Genode 20.02[0m 8018 MiB RAM and 63253 caps assigned to init[0m [init] [34mWarning: prio levels is not power of two, priorities are disabled[0m[0m SOTEST VERSION 1 BEGIN 3[0m [init -> harness -> signal] --- Signalling test ---[0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 1: reliable delivery if the sender is faster than the handlers[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] deactivate sender[0m[0m [init -> harness -> signal] sender submitted a total of 25 signals[0m[0m [init -> harness -> signal] handler received a total of 25 signals[0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 1 finished[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 2: throughput when submitting/handling as fast as possible[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] 1/5[0m[0m [init -> harness -> signal] 2/5[0m[0m [init -> harness -> signal] 3/5[0m[0m [init -> harness -> signal] 4/5[0m[0m [init -> harness -> signal] 5/5[0m[0m [init -> harness -> signal] deactivate sender[0m[0m [init -> harness -> signal] waiting for signals still in flight...[0m[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] sender submitted a total of 55896870 signals[0m[0m [init -> harness -> signal] handler received a total of 55896870 signals[0m[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] handler received 11179374 signals per second[0m[0m [init -> harness -> signal] handler was activated 100 times per second[0m[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 2 finished[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 3: lazy and out-of-order signal reception[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] submit and receive signals with multiple receivers in order[0m[0m [init -> harness -> signal] returned from wait_for_signal for receiver 1[0m[0m [init -> harness -> signal] returned from wait_for_signal for receiver 2[0m[0m [init -> harness -> signal] submit and receive signals with multiple receivers out of order[0m[0m [init -> harness -> signal] returned from wait_for_signal for receiver 2[0m[0m [init -> harness -> signal] returned from wait_for_signal for receiver 1[0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 3 finished[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 4: correct initialization and cleanup of receiver and context[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] submit signal 1[0m[0m [init -> harness -> signal] submit signal 2[0m[0m [init -> harness -> signal] suspend sender[0m[0m [init -> harness -> signal] got 2 signal(s) from 0x101fb10[0m[0m [init -> harness -> signal] resume sender[0m[0m [init -> harness -> signal] submit signal 3[0m[0m [init -> harness -> signal] submit signal 4[0m[0m [init -> harness -> signal] suspend sender[0m[0m [init -> harness -> signal] destroy sender[0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 4 finished[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 5: does 'dissolve' block as long as the signal context is referenced?[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] start dissolving[0m[0m [init -> harness -> signal] destruct signal[0m[0m [init -> harness -> signal] dissolve finished[0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 5 finished[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 6: create and manage many contexts[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] round 0: manage 200 contexts[0m[0m [init -> harness -> signal] round 1: manage 205 contexts[0m[0m [init -> harness -> signal] round 2: manage 210 contexts[0m[0m [init -> harness -> signal] round 3: manage 215 contexts[0m[0m [init -> harness -> signal] round 4: manage 220 contexts[0m[0m [init -> harness -> signal] round 5: manage 225 contexts[0m[0m [init -> harness -> signal] round 6: manage 230 contexts[0m[0m [init -> harness -> signal] round 7: manage 235 contexts[0m[0m [init -> harness -> signal] round 8: manage 240 contexts[0m[0m [init -> harness -> signal] round 9: manage 245 contexts[0m[0m [init -> harness -> signal] [34mWarning: 4 dangling allocations at allocator destruction time[0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 6 finished[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 7: wait and dispatch signals at entrypoint[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] 1/8: [ep] wait for I/O-level signal during RPC from [outside][0m[0m [init -> harness -> signal] 2/8: [outside] submit application-level signal (should be deferred)[0m[0m [init -> harness -> signal] 3/8: [outside] submit I/O-level signal[0m[0m [init -> harness -> signal] 4/8: [ep] I/O-level signal received - sending nested signal[0m[0m [init -> harness -> signal] [34mWarning: attempt to handle the same signal context twice (nested)[0m[0m [init -> harness -> signal] 5/8: [ep] nested I/O-level signal received[0m[0m [init -> harness -> signal] 6/8: [ep] I/O completed[0m[0m [init -> harness -> signal] 7/8: [ep] application-level signal received[0m[0m [init -> harness -> signal] 8/8: [ep] success[0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 7 finished[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 8: stressful wait and dispatch signals at entrypoint[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] receiver-1 received 0 times[0m[0m [init -> harness -> signal] receiver-2 received 0 times[0m[0m [init -> harness -> signal] receiver-3 received 1 times[0m[0m [init -> harness -> signal] receiver-1 received 32 times[0m[0m [init -> harness -> signal] receiver-2 received 33 times[0m[0m [init -> harness -> signal] receiver-3 received 33 times[0m[0m [init -> harness -> signal] receiver-1 received 65 times[0m[0m [init -> harness -> signal] receiver-2 received 64 times[0m[0m [init -> harness -> signal] receiver-3 received 65 times[0m[0m [init -> harness -> signal] receiver-1 received 97 times[0m[0m [init -> harness -> signal] receiver-2 received 98 times[0m[0m [init -> harness -> signal] receiver-3 received 99 times[0m[0m [init -> harness -> signal] receiver-1 received 130 times[0m[0m [init -> harness -> signal] receiver-2 received 131 times[0m[0m [init -> harness -> signal] receiver-3 received 131 times[0m[0m [init -> harness -> signal] receiver-1 received 163 times[0m[0m [init -> harness -> signal] receiver-2 received 163 times[0m[0m [init -> harness -> signal] receiver-3 received 164 times[0m[0m [init -> harness -> signal] receiver-1 received 196 times[0m[0m [init -> harness -> signal] receiver-2 received 195 times[0m[0m [init -> harness -> signal] receiver-3 received 196 times[0m[0m [init -> harness -> signal] receiver-1 received 228 times[0m[0m [init -> harness -> signal] receiver-2 received 229 times[0m[0m [init -> harness -> signal] receiver-3 received 229 times[0m[0m [init -> harness -> signal] receiver-1 received 261 times[0m[0m [init -> harness -> signal] receiver-2 received 262 times[0m[0m [init -> harness -> signal] receiver-3 received 262 times[0m[0m [init -> harness -> signal] receiver-1 received 294 times[0m[0m [init -> harness -> signal] receiver-2 received 293 times[0m[0m [init -> harness -> signal] receiver-3 received 294 times[0m[0m [init -> harness -> signal] receiver-1 received 327 times[0m[0m [init -> harness -> signal] receiver-2 received 328 times[0m[0m [init -> harness -> signal] receiver-3 received 328 times[0m[0m [init -> harness -> signal] waiting for receivers[0m[0m [init -> harness -> signal] waiting for senders[0m[0m [init -> harness -> signal] destructing ...[0m[0m [init -> harness -> signal] [0m [init -> harness -> signal] TEST 8 finished[0m [init -> harness -> signal] [0m[0m [init -> harness -> signal] --- Signalling test finished ---[0m[0m SOTEST SUCCESS[0m [init -> harness -> rtc] --- RTC test started ---[0m[0m [init -> harness -> rtc] test RTC reading[0m[0m [init -> harness -> rtc] RTC[0]: 2020-5-16 16:59:35[0m[0m [init -> harness -> rtc] RTC[1]: 2020-5-16 16:59:36[0m[0m [init -> harness -> rtc] RTC[0]: 2020-5-16 16:59:38[0m[0m [init -> harness -> rtc] RTC[1]: 2020-5-16 16:59:39[0m[0m [init -> harness -> rtc] RTC[0]: 2020-5-16 16:59:41[0m[0m [init -> harness -> rtc] RTC[1]: 2020-5-16 16:59:42[0m[0m [init -> harness -> rtc] RTC[0]: 2020-5-16 16:59:44[0m[0m [init -> harness -> rtc] RTC[1]: 2020-5-16 16:59:45[0m[0m [init -> harness -> rtc] test RTC setting[0m[0m [init -> harness -> rtc] --- RTC test finished ---[0m[0m SOTEST SUCCESS[0m [init -> harness -> init] parent provides[0m[0m [init -> harness -> init] service "IRQ"[0m[0m [init -> harness -> init] service "IO_MEM"[0m[0m [init -> harness -> init] service "IO_PORT"[0m[0m [init -> harness -> init] service "Timer"[0m[0m [init -> harness -> init] service "CPU"[0m[0m [init -> harness -> init] service "LOG"[0m[0m [init -> harness -> init] service "PD"[0m[0m [init -> harness -> init] service "RM"[0m[0m [init -> harness -> init] service "ROM"[0m[0m [init -> harness -> init] child "_report_rom"[0m[0m [init -> harness -> init] RAM quota: 776K[0m[0m [init -> harness -> init] cap quota: 64[0m[0m [init -> harness -> init] ELF binary: report_rom[0m[0m [init -> harness -> init] priority: 0[0m[0m [init -> harness -> init] provides service ROM[0m[0m [init -> harness -> init] provides service Report[0m[0m [init -> harness -> init] child "acpi_drv"[0m[0m [init -> harness -> init] RAM quota: 3848K[0m[0m [init -> harness -> init] cap quota: 368[0m[0m [init -> harness -> init] ELF binary: acpi_drv[0m[0m [init -> harness -> init] priority: 0[0m[0m [init -> harness -> init] provides service Platform[0m[0m [init -> harness -> init] provides service Acpi[0m[0m [init -> harness -> init] child "platform_drv"[0m[0m [init -> harness -> init] RAM quota: 3848K[0m[0m [init -> harness -> init] cap quota: 768[0m[0m [init -> harness -> init] ELF binary: platform_drv[0m[0m [init -> harness -> init] priority: 0[0m[0m [init -> harness -> init] provides service Platform[0m[0m [init -> harness -> init] provides service Acpi[0m[0m [init -> harness -> init] child "test-pci"[0m[0m [init -> harness -> init] RAM quota: 2824K[0m[0m [init -> harness -> init] cap quota: 64[0m[0m [init -> harness -> init] ELF binary: test-pci[0m[0m [init -> harness -> init] priority: 0[0m[0m [init -> harness -> init -> test-pci] --- Platform test started ---[0m[0m [init -> harness -> init] child "_report_rom" announces service "Report"[0m[0m [init -> harness -> init] child "_report_rom" announces service "ROM"[0m[0m [init -> harness -> init -> acpi_drv] Found MADT[0m[0m [init -> harness -> init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0[0m[0m [init -> harness -> init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13[0m[0m [init -> harness -> init -> acpi_drv] Found DMAR[0m[0m [init -> harness -> init -> acpi_drv] 39 bit DMA physical addressable , IRQ remapping supported[0m[0m [init -> harness -> init -> acpi_drv] DMA remapping structure type=0[0m[0m [init -> harness -> init -> acpi_drv] DMA remapping structure type=0[0m[0m [init -> harness -> init -> acpi_drv] DMA remapping structure type=1[0m[0m [init -> harness -> init -> acpi_drv] DMA remapping structure type=1[0m[0m [init -> harness -> init -> acpi_drv] Found MCFG[0m[0m [init -> harness -> init -> acpi_drv] MCFG BASE 0xf8000000 seg 0x0 bus 0x0-0x3f[0m[0m [init -> harness -> init -> acpi_drv] XSDT OEM 'ALASKA', table id 'A M I ', revision 17244169, creator 'AMI ' (65555)[0m[0m [init -> harness -> init -> acpi_drv] SMBIOS 3 table (entry point: 0x170600 structures: 0xc3202000)[0m[0m [init -> harness -> init -> platform_drv] ECAM/MMCONF range 00:00.0-3f:1f.7 - addr [00000000f8000000,00000000fc000000)[0m[0m [init -> harness -> init -> platform_drv] Root bridge: 00:00.0[0m[0m [init -> harness -> init -> platform_drv] 00:1c.0 - bridge 01:00.0[0m[0m [init -> harness -> init -> platform_drv] 00:1c.7 - bridge 02:00.0[0m[0m [init -> harness -> init -> platform_drv] 00:1d.0 - bridge 03:00.0[0m[0m [init -> harness -> init] child "platform_drv" announces service "Platform"[0m[0m [init -> harness -> init -> test-pci] 0:0.0 class=0x600 vendor=0x8086 (Intel) device=0x190f[0m[0m [init -> harness -> init -> test-pci] 0:2.0 class=0x300 vendor=0x8086 (Intel) device=0x1912[0m[0m [init -> harness -> init -> test-pci] Resource 0 (MEM): base=0xf6000000 size=0x1000000 [0m[0m [init -> harness -> init -> test-pci] Resource 2 (MEM): base=0xe0000000 size=0x10000000 prefetchable[0m[0m [init -> harness -> init -> test-pci] Resource 4 (I/O): base=0xf000 size=0x40 [0m[0m [init -> harness -> init -> test-pci] 0:14.0 class=0xc03 vendor=0x8086 (Intel) device=0xa12f[0m[0m [init -> harness -> init -> test-pci] Resource 0 (MEM): base=0xf7210000 size=0x10000 [0m[0m [init -> harness -> init -> test-pci] 0:16.0 class=0x780 vendor=0x8086 (Intel) device=0xa13a[0m[0m [init -> harness -> init -> test-pci] Resource 0 (MEM): base=0xf722d000 size=0x1000 [0m[0m [init -> harness -> init -> test-pci] 0:17.0 class=0x106 vendor=0x8086 (Intel) device=0xa102[0m[0m [init -> harness -> init -> test-pci] Resource 0 (MEM): base=0xf7228000 size=0x2000 [0m[0m [init -> harness -> init -> test-pci] Resource 1 (MEM): base=0xf722c000 size=0x100 [0m[0m [init -> harness -> init -> test-pci] Resource 2 (I/O): base=0xf090 size=0x8 [0m[0m [init -> harness -> init -> test-pci] Resource 3 (I/O): base=0xf080 size=0x4 [0m[0m [init -> harness -> init -> test-pci] Resource 4 (I/O): base=0xf060 size=0x20 [0m[0m [init -> harness -> init -> test-pci] Resource 5 (MEM): base=0xf722b000 size=0x800 [0m[0m [init -> harness -> init -> test-pci] 0:1c.0 class=0x604 vendor=0x8086 (Intel) device=0xa114[0m[0m [init -> harness -> init -> test-pci] 0:1c.7 class=0x604 vendor=0x8086 (Intel) device=0xa117[0m[0m [init -> harness -> init -> test-pci] 0:1d.0 class=0x604 vendor=0x8086 (Intel) device=0xa118[0m[0m [init -> harness -> init -> test-pci] 0:1f.0 class=0x601 vendor=0x8086 (Intel) device=0xa143[0m[0m [init -> harness -> init -> test-pci] 0:1f.2 class=0x580 vendor=0x8086 (Intel) device=0xa121[0m[0m [init -> harness -> init -> test-pci] Resource 0 (MEM): base=0xf7224000 size=0x4000 [0m[0m [init -> harness -> init -> test-pci] 0:1f.3 class=0x403 vendor=0x8086 (Intel) device=0xa170[0m[0m [init -> harness -> init -> test-pci] Resource 0 (MEM): base=0xf7220000 size=0x4000 [0m[0m [init -> harness -> init -> test-pci] Resource 4 (MEM): base=0xf7200000 size=0x10000 [0m[0m [init -> harness -> init -> test-pci] 0:1f.4 class=0xc05 vendor=0x8086 (Intel) device=0xa123[0m[0m [init -> harness -> init -> test-pci] Resource 0 (MEM): base=0xf722a000 size=0x100 [0m[0m [init -> harness -> init -> test-pci] Resource 4 (I/O): base=0xf040 size=0x20 [0m[0m [init -> harness -> init -> test-pci] 2:0.0 class=0x200 vendor=0x10ec (unknown) device=0x8168[0m[0m [init -> harness -> init -> test-pci] Resource 0 (I/O): base=0xe000 size=0x100 [0m[0m [init -> harness -> init -> test-pci] Resource 2 (MEM): base=0xf7104000 size=0x1000 [0m[0m [init -> harness -> init -> test-pci] Resource 4 (MEM): base=0xf7100000 size=0x4000 [0m[0m [init -> harness -> init -> test-pci] 3:0.0 class=0xc03 vendor=0x1b21 (unknown) device=0x1242[0m[0m [init -> harness -> init -> test-pci] Resource 0 (MEM): base=0xf7000000 size=0x8000 [0m[0m [init -> harness -> init -> test-pci] --- Platform test finished ---[0m[0m SOTEST SUCCESS[0m SOTEST END[0m child "init" exited with exit value 0[0m