Boot Config

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-vmm.image.elf-x86_64-unknown-genode || goto fail
boot
:fail
echo kernel/initrd load fail
echo cannot boot
:end

Raw log output

(%'(*,./A#HIJMR ?O
o0@BD!"#$'C&}Cq\a]!U;2	

 P#$?@Acdq"O@AG`abipr$xbyBender: Hello World.

Need 00ac9000 bytes to relocate modules.

Relocating to 7f537000: 

Copying 11149984 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
[ 3] CORE:0:1: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
[ 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,0000000000ba1000)[0m
binaries region [00000000002a8000,0000000000ba1000) 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: 0x7f55d000 - size: 0xaa22a0 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: [000000007fffe000,000000007fffe71f) config
 ROM: [0000000000004000,0000000000008000) core_log
 ROM: [000000007f920000,000000007fd822e0) init
 ROM: [000000007f91e000,000000007f91fbec) init.xsd
 ROM: [000000007f81b000,000000007f91daf0) ld.lib.so
 ROM: [0000000000002000,0000000000003000) platform_info
 ROM: [000000007fd83000,000000007fedb408) rtc_drv
 ROM: [000000007fedc000,000000007fefab18) sotest-harness
 ROM: [000000007fefb000,000000007fffdf48) test-vmm_x86
 ROM: [000000007f706000,000000007f81a8c0) timer_drv
[0m
20M kernel memory[0m
[0m
Genode 20.02[0m
8029 MiB RAM and 63253 caps assigned to init[0m
SOTEST VERSION 1 BEGIN 1[0m
[init -> harness -> vmm] vcpu 0 : created[0m[0m
[init -> harness -> vmm] vcpu 1 : created[0m[0m
[init -> harness -> vmm] vcpu 2 : created[0m[0m
[init -> harness -> vmm] vcpu 3 : created[0m[0m
[init -> harness -> vmm] let vCPUs run - first EP[0m[0m
[init -> harness -> vmm] let vCPUs run - second EP[0m[0m
[init -> harness -> vmm] vcpu 2 : 1. vm exit - reason 0xfe handled by 'second ep'[0m[0m
[init -> harness -> vmm] vcpu 0 : 1. vm exit - reason 0xfe handled by 'ep'[0m[0m
[init -> harness -> vmm] vcpu 2 : 1. vm exit - resume vcpu[0m[0m
[init -> harness -> vmm] vcpu 0 : 1. vm exit - resume vcpu[0m[0m
[init -> harness -> vmm] vcpu 3 : 1. vm exit - reason 0xfe handled by 'second ep'[0m[0m
[init -> harness -> vmm] vcpu 0 : 2. vm exit - reason 0x30 handled by 'ep'[0m[0m
[init -> harness -> vmm] vcpu 3 : 1. vm exit - resume vcpu[0m[0m
[init -> harness -> vmm] vcpu 0 : 2. vm exit -  guest fault address: 0xfffffff0[0m[0m
[init -> harness -> vmm] vcpu 3 : 2. vm exit - reason 0x30 handled by 'second ep'[0m[0m
[init -> harness -> vmm] vcpu 0 : 2. vm exit - resume vcpu[0m[0m
[init -> harness -> vmm] vcpu 3 : 2. vm exit -  guest fault address: 0xfffffff0[0m[0m
[init -> harness -> vmm] vcpu 0 : 3. vm exit - reason 0xc handled by 'ep'[0m[0m
[init -> harness -> vmm] vcpu 3 : 2. vm exit - resume vcpu[0m[0m
[init -> harness -> vmm] vcpu 0 : 3. vm exit -  halting vCPU - guest called HLT - ip=0xfff0[0m[0m
[init -> harness -> vmm] vcpu 2 : 2. vm exit - reason 0x30 handled by 'second ep'[0m[0m
[init -> harness -> vmm] vcpu 2 : 2. vm exit -  guest fault address: 0xfffffff0[0m[0m
[init -> harness -> vmm] vcpu 1 : 1. vm exit - reason 0xfe handled by 'ep'[0m[0m
[init -> harness -> vmm] vcpu 2 : 2. vm exit - resume vcpu[0m[0m
[init -> harness -> vmm] vcpu 1 : 1. vm exit - resume vcpu[0m[0m
[init -> harness -> vmm] vcpu 3 : 3. vm exit - reason 0xc handled by 'second ep'[0m[0m
[init -> harness -> vmm] vcpu 1 : 2. vm exit - reason 0xc handled by 'ep'[0m[0m
[init -> harness -> vmm] vcpu 3 : 3. vm exit -  halting vCPU - guest called HLT - ip=0xfff0[0m[0m
[init -> harness -> vmm] vcpu 1 : 2. vm exit -  halting vCPU - guest called HLT - ip=0xfff0[0m[0m
[init -> harness -> vmm] vcpu 2 : 3. vm exit - reason 0xc handled by 'second ep'[0m[0m
[init -> harness -> vmm] vcpu 2 : 3. vm exit -  halting vCPU - guest called HLT - ip=0xfff0[0m[0m
[init -> harness -> vmm] ep     : request pause of vcpu 1[0m[0m
[init -> harness -> vmm] vcpu 2 : 4. vm exit - reason 0xff handled by 'second ep'[0m[0m
[init -> harness -> vmm] vcpu 2 : 4. vm exit -  due to pause() request - ip=0xfff0[0m[0m
[init -> harness -> vmm] vcpu 1 : 3. vm exit - reason 0xff handled by 'ep'[0m[0m
[init -> harness -> vmm] vcpu 1 : 3. vm exit -  due to pause() request - ip=0xfff0[0m[0m
[init -> harness -> vmm] ep     : request resume of vcpu 2[0m[0m
[init -> harness -> vmm] ep     : request resume (A) of vcpu 1[0m[0m
[init -> harness -> vmm] vcpu 2 : 5. vm exit - reason 0xc handled by 'second ep'[0m[0m
[init -> harness -> vmm] vcpu 2 : 5. vm exit -  halting vCPU - guest called HLT - ip=0xfff0[0m[0m
[init -> harness -> vmm] vcpu 1 : 4. vm exit - reason 0xc handled by 'ep'[0m[0m
[init -> harness -> vmm] vcpu 1 : 4. vm exit -  halting vCPU - guest called HLT - ip=0xfff0[0m[0m
[init -> harness -> vmm] ep     : request pause of vcpu 1[0m[0m
[init -> harness -> vmm] vcpu 2 : 6. vm exit - reason 0xff handled by 'second ep'[0m[0m
[init -> harness -> vmm] vcpu 2 : 6. vm exit -  due to pause() request - ip=0xfff0[0m[0m
[init -> harness -> vmm] vcpu 1 : 5. vm exit - reason 0xff handled by 'ep'[0m[0m
[init -> harness -> vmm] vcpu 1 : 5. vm exit -  due to pause() request - ip=0xfff0[0m[0m
[init -> harness -> vmm] ep     : request resume of vcpu 2[0m[0m
[init -> harness -> vmm] ep     : request resume (B) of vcpu 1[0m[0m
[init -> harness -> vmm] vcpu 2 : 7. vm exit - reason 0xc handled by 'second ep'[0m[0m
[init -> harness -> vmm] vcpu 2 : 7. vm exit -  halting vCPU - guest called HLT - ip=0xfff1[0m[0m
[init -> harness -> vmm] vcpu 2 : 8. vm exit - reason 0xff handled by 'second ep'[0m[0m
[init -> harness -> vmm] vcpu 2 : 8. vm exit -  due to pause() request - ip=0xfff1[0m[0m
[init -> harness -> vmm] pause endless loop[0m[0m
[init -> harness -> vmm] vcpu 1 : 6. vm exit - reason 0xff handled by 'ep'[0m[0m
[init -> harness -> vmm] vcpu 1 : 6. vm exit -  due to pause() request - ip=0xfff2[0m[0m
[init -> harness -> vmm] ep     : request resume (C) of vcpu 1[0m[0m
[init -> harness -> vmm] vcpu 1 : 7. vm exit - reason 0xc handled by 'ep'[0m[0m
[init -> harness -> vmm] vcpu 1 : 7. vm exit -  halting vCPU - guest called HLT - ip=0xfff4[0m[0m
[init -> harness -> vmm] ep     : request pause of vcpu 1[0m[0m
[init -> harness -> vmm] vcpu 1 : 8. vm exit - reason 0xff handled by 'ep'[0m[0m
[init -> harness -> vmm] vcpu 1 : 8. vm exit -  due to pause() request - ip=0xfff4[0m[0m
[init -> harness -> vmm] vcpu test finished - de-arm timer[0m[0m
[init -> harness -> vmm] destruct vm session[0m[0m
[init -> harness -> vmm] vmm test finished[0m[0m
SOTEST SUCCESS[0m
SOTEST END[0m
child "init" exited with exit value 0[0m
[ 0] leaking memory - vCPU EC memory re-usage not supported
[ 1] Killed EC:0xffffffff81607700 SC:0xffffffff816aa2e0 V:0xe CR0:0x10 CR3:0x0 CR4:0x14 (PT not found)
[ 0] leaking memory - vCPU EC memory re-usage not supported
[ 1] Killed EC:0xffffffff816074c0 SC:0xffffffff816aa200 V:0xe CR0:0x10 CR3:0x0 CR4:0x14 (PT not found)
[ 0] leaking memory - vCPU EC memory re-usage not supported
[ 0] leaking memory - vCPU EC memory re-usage not supported
[ 0] Killed EC:0xffffffff81607040 SC:0xffffffff816aa040 V:0xe CR0:0x10 CR3:0x0 CR4:0x14 (PT not found)