I have a desktop purchased for the sole purpose of Genode testing now (finding new hardware with a serial port is almost impossible nowadays).  I have the output of the serial port that fails to load the virtualbox VMs.  I looked through the log myself but I was unable to see a reason for the failure.  Below is the output:

NOVA Microhypervisor v7-8bcd6fc (x86_32): Jul 21 2017 10:14:19 [gcc 6.3.0]

[ 0] TSC:3408373 kHz BUS:0 kHz
[ 0] CORE:0:0:0 6:9e:9:1 [48] Intel(R) Core(TM) i5-7500 CPU @ 3.40GHz
[ 1] CORE:0:1:0 6:9e:9:1 [48] Intel(R) Core(TM) i5-7500 CPU @ 3.40GHz
[ 3] CORE:0:3:0 6:9e:9:1 [48] Intel(R) Core(TM) i5-7500 CPU @ 3.40GHz
[ 2] CORE:0:2:0 6:9e:9:1 [48] Intel(R) Core(TM) i5-7500 CPU @ 3.40GHz
[ 0] disabling super pages for DMAR
Hypervisor features VMX
Hypervisor reports 4x1 CPUs
CPU ID (genode->kernel:package:core:thread) remapping
 remap (0->0:0:0:0) boot cpu
 remap (1->1:0:1:0) 
 remap (2->2:0:2:0) 
 remap (3->3:0:3:0) 
Hypervisor info page contains 24 memory descriptors:
core     image  [00100000,029b9000)
binaries region [00228000,029b9000) free for reuse
detected physical memory: 0x00000000 - size: 0x0008ec00
use      physical memory: 0x00000000 - size: 0x0008e000
detected physical memory: 0x00100000 - size: 0xb2bfb000
use      physical memory: 0x00100000 - size: 0xb2bfb000
detected physical memory: 0xb3aff000 - size: 0x00001000
use      physical memory: 0xb3aff000 - size: 0x00001000
detected physical memory: 0x00000000 - size: 0x3f800000
:virt_alloc: Allocator 0x1f5f84 dump:
 Block: [00002000,00003000) size=4K avail=0 max_avail=0
 Block: [00003000,00004000) size=4K avail=0 max_avail=0
 Block: [00004000,00005000) size=4K avail=0 max_avail=0
 Block: [00005000,00006000) size=4K avail=0 max_avail=0
 Block: [00006000,00007000) size=4K avail=0 max_avail=0
 Block: [00007000,00008000) size=4K avail=0 max_avail=0
 Block: [00008000,00009000) size=4K avail=0 max_avail=0
 Block: [00009000,0000a000) size=4K avail=0 max_avail=0
 Block: [0000a000,0000b000) size=4K avail=0 max_avail=0
 Block: [0000b000,0000c000) size=4K avail=0 max_avail=0
 Block: [0000c000,0000d000) size=4K avail=0 max_avail=0
 Block: [0000d000,0000e000) size=4K avail=0 max_avail=0
 Block: [0000e000,0000f000) size=4K avail=0 max_avail=0
 Block: [0000f000,00010000) size=4K avail=0 max_avail=0
 Block: [00010000,00011000) size=4K avail=0 max_avail=0
 Block: [00011000,00012000) size=4K avail=0 max_avail=0
 Block: [00012000,00013000) size=4K avail=0 max_avail=0
 Block: [00013000,00014000) size=4K avail=0 max_avail=2619220K
 Block: [00014000,00015000) size=4K avail=0 max_avail=0
 Block: [00015000,00016000) size=4K avail=0 max_avail=0
 Block: [00016000,00017000) size=4K avail=0 max_avail=0
 Block: [00017000,00018000) size=4K avail=0 max_avail=0
 Block: [00018000,00019000) size=4K avail=0 max_avail=0
 Block: [00019000,0001a000) size=4K avail=0 max_avail=908K
 Block: [0001a000,0001b000) size=4K avail=0 max_avail=0
 Block: [0001b000,0001c000) size=4K avail=0 max_avail=908K
 Block: [0001c000,0001d000) size=4K avail=0 max_avail=0
 Block: [0001d000,00100000) size=908K avail=908K max_avail=908K
 Block: [00228000,00229000) size=4K avail=0 max_avail=0
 Block: [00229000,0022a000) size=4K avail=0 max_avail=2619220K
 Block: [0022a000,0022b000) size=4K avail=0 max_avail=0
 Block: [0022b000,a0000000) size=2619220K avail=2619220K max_avail=2619220K
 Block: [b0000000,bfeff000) size=261116K avail=261116K max_avail=2619220K
 Block: [bff04000,bfffd000) size=996K avail=996K max_avail=996K
 => mem_size=2951536640 (2814 MB) / mem_avail=2951413760 (2814 MB)

:phys_alloc: Allocator 0x1f4f18 dump:
 Block: [00001000,00002000) size=4K avail=0 max_avail=0
 Block: [00002000,00003000) size=4K avail=0 max_avail=0
 Block: [00003000,00004000) size=4K avail=0 max_avail=0
 Block: [00004000,00005000) size=4K avail=0 max_avail=0
 Block: [00005000,00006000) size=4K avail=0 max_avail=0
 Block: [00006000,00007000) size=4K avail=0 max_avail=0
 Block: [00007000,00008000) size=4K avail=0 max_avail=0
 Block: [00008000,00009000) size=4K avail=0 max_avail=0
 Block: [00009000,0000a000) size=4K avail=0 max_avail=0
 Block: [0000a000,0000b000) size=4K avail=0 max_avail=0
 Block: [0000b000,0000c000) size=4K avail=0 max_avail=0
 Block: [0000c000,0000d000) size=4K avail=0 max_avail=2014484K
 Block: [0000d000,0000e000) size=4K avail=0 max_avail=0
 Block: [0000e000,0000f000) size=4K avail=0 max_avail=0
 Block: [0000f000,00010000) size=4K avail=0 max_avail=0
 Block: [00010000,00011000) size=4K avail=0 max_avail=0
 Block: [00011000,00012000) size=4K avail=0 max_avail=0
 Block: [00012000,00013000) size=4K avail=0 max_avail=0
 Block: [00013000,00014000) size=4K avail=0 max_avail=0
 Block: [00014000,00015000) size=4K avail=0 max_avail=0
 Block: [00015000,00016000) size=4K avail=0 max_avail=0
 Block: [00016000,00017000) size=4K avail=0 max_avail=0
 Block: [00017000,00018000) size=4K avail=0 max_avail=0
 Block: [00018000,00019000) size=4K avail=0 max_avail=2014484K
 Block: [00019000,0001a000) size=4K avail=0 max_avail=0
 Block: [0001a000,0001b000) size=4K avail=0 max_avail=452K
 Block: [0001b000,0001c000) size=4K avail=0 max_avail=0
 Block: [0001c000,0001d000) size=4K avail=0 max_avail=452K
 Block: [0001d000,0008e000) size=452K avail=452K max_avail=452K
 Block: [00100000,00101000) size=4K avail=0 max_avail=2014484K
 Block: [00101000,00102000) size=4K avail=0 max_avail=0
 Block: [00102000,00400000) size=3064K avail=3064K max_avail=3064K
 Block: [02800000,02801000) size=4K avail=0 max_avail=2014484K
 Block: [02801000,7d746000) size=2014484K avail=2014484K max_avail=2014484K
 Block: [80001000,b2cfb000) size=832488K avail=832488K max_avail=2014484K
 Block: [b3aff000,b3b00000) size=4K avail=4K max_avail=4K
 => mem_size=2919030784 (2783 MB) / mem_avail=2918903808 (2783 MB)

:io_mem_alloc: Allocator 0x1f6ffc dump:
 Block: [00000000,00001000) size=4K avail=4K max_avail=4K
 Block: [0008e000,00100000) size=456K avail=456K max_avail=456K
 Block: [b2cfb000,b3aff000) size=14352K avail=14352K max_avail=1250300K
 Block: [b3b00000,fffff000) size=1250300K avail=1250300K max_avail=1250300K
 => mem_size=1295474688 (1235 MB) / mem_avail=1295474688 (1235 MB)

:rom_fs: ROM modules:
 ROM: [7fd20000,7fd34158) acpi_drv
 ROM: [7da08000,7da09dab) config
 ROM: [7fadc000,7fd15948) core.o
 ROM: [7f873000,7f8f9960) device_pd
 ROM: [7feb3000,7fefd99c) fb_drv
 ROM: [0001b000,0001c000) hypervisor_info_page
 ROM: [7e803000,7e841010) init
 ROM: [7da0a000,7dab69b4) ld.lib.so
 ROM: [7d86f000,7d996220) libc.lib.so
 ROM: [7d9d8000,7d9dec5c) libc_pipe.lib.so
 ROM: [7f9cc000,7f9d957c) libc_terminal.lib.so
 ROM: [7f9da000,7fabe4e4) libiconv.lib.so
 ROM: [7f960000,7f98696c) libm.lib.so
 ROM: [7d9f9000,7da07de0) log_terminal
 ROM: [7f987000,7f9cb2d0) nic_drv
 ROM: [7d9df000,7d9f8d80) nit_fb
 ROM: [7d997000,7d9d7ed0) nitpicker
 ROM: [7f920000,7f95fce4) platform_drv
NOVA Microhypervisor v7-8bcd6fc (x86_64): Jun  6 2017 12:07:06 [gcc 6.3.0]

[ 0] TSC:3408221 kHz BUS:0 kHz
[ 0] CORE:0:0:0 6:9e:9:1 [48] Intel(R) Core(TM) i5-7500 CPU @ 3.40GHz
[ 3] CORE:0:3:0 6:9e:9:1 [48] Intel(R) Core(TM) i5-7500 CPU @ 3.40GHz
[ 2] CORE:0:2:0 6:9e:9:1 [48] Intel(R) Core(TM) i5-7500 CPU @ 3.40GHz
[ 1] CORE:0:1:0 6:9e:9:1 [48] Intel(R) Core(TM) i5-7500 CPU @ 3.40GHz
[ 0] disabling super pages for DMAR
Hypervisor features VMX
Hypervisor reports 4x1 CPUs
CPU ID (genode->kernel:package:core:thread) remapping
 remap (0->0:0:0:0) boot cpu
 remap (1->1:0:1:0) 
 remap (2->2:0:2:0) 
 remap (3->3:0:3:0) 
Hypervisor info page contains 24 memory descriptors:
core     image  [0000000000100000,0000000002839000)
binaries region [0000000000225000,0000000002839000) free for reuse
detected physical memory: 0x0000000000000000 - size: 0x000000000008ec00
use      physical memory: 0x0000000000000000 - size: 0x000000000008e000
detected physical memory: 0x0000000000100000 - size: 0x00000000b2bfb000
use      physical memory: 0x0000000000100000 - size: 0x00000000b2bfb000
detected physical memory: 0x00000000b3aff000 - size: 0x0000000000001000
use      physical memory: 0x00000000b3aff000 - size: 0x0000000000001000
detected physical memory: 0x0000000100000000 - size: 0x000000013f800000
use      physical memory: 0x0000000100000000 - size: 0x000000013f800000
:virt_alloc: Allocator 0x1e66f0 dump:
 Block: [0000000000002000,0000000000003000) size=4K avail=0 max_avail=0
 Block: [0000000000003000,0000000000004000) size=4K avail=0 max_avail=0
 Block: [0000000000004000,0000000000005000) size=4K avail=0 max_avail=0
 Block: [0000000000005000,0000000000006000) size=4K avail=0 max_avail=0
 Block: [0000000000006000,0000000000007000) size=4K avail=0 max_avail=0
 Block: [0000000000007000,0000000000008000) size=4K avail=0 max_avail=0
 Block: [0000000000008000,0000000000009000) size=4K avail=0 max_avail=0
 Block: [0000000000009000,000000000000a000) size=4K avail=0 max_avail=0
 Block: [000000000000a000,000000000000b000) size=4K avail=0 max_avail=0
 Block: [000000000000b000,000000000000c000) size=4K avail=0 max_avail=0
 Block: [000000000000c000,000000000000d000) size=4K avail=0 max_avail=0
 Block: [000000000000d000,000000000000e000) size=4K avail=0 max_avail=0
 Block: [000000000000e000,000000000000f000) size=4K avail=0 max_avail=0
 Block: [000000000000f000,0000000000010000) size=4K avail=0 max_avail=0
 Block: [0000000000010000,0000000000011000) size=4K avail=0 max_avail=0
 Block: [0000000000011000,0000000000012000) size=4K avail=0 max_avail=0
 Block: [0000000000012000,0000000000013000) size=4K avail=0 max_avail=0
 Block: [0000000000013000,0000000000014000) size=4K avail=0 max_avail=137434760164K
 Block: [0000000000014000,0000000000015000) size=4K avail=0 max_avail=0
 Block: [0000000000015000,0000000000016000) size=4K avail=0 max_avail=0
 Block: [0000000000016000,0000000000017000) size=4K avail=0 max_avail=916K
 Block: [0000000000017000,0000000000018000) size=4K avail=0 max_avail=0
 Block: [0000000000018000,0000000000019000) size=4K avail=0 max_avail=0
 Block: [0000000000019000,000000000001a000) size=4K avail=0 max_avail=916K
 Block: [000000000001a000,000000000001b000) size=4K avail=0 max_avail=0
 Block: [000000000001b000,0000000000100000) size=916K avail=916K max_avail=916K
 Block: [0000000000225000,0000000000226000) size=4K avail=0 max_avail=0
 Block: [0000000000226000,0000000000227000) size=4K avail=0 max_avail=137434760164K
 Block: [0000000000227000,0000000000228000) size=4K avail=0 max_avail=0
 Block: [0000000000228000,00000000a0000000) size=2619232K avail=2619232K max_avail=2619232K
 Block: [00000000b0000000,00000000bfeff000) size=261116K avail=261116K max_avail=137434760164K
 Block: [00000000bff04000,00007fffbfffd000) size=137434760164K avail=137434760164K max_avail=137434760164K
 => mem_size=140736144936960 (134216446 MB) / mem_avail=140736144822272 (134216446 MB)

:phys_alloc: Allocator 0x1e5620 dump:
 Block: [0000000000001000,0000000000002000) size=4K avail=0 max_avail=0
 Block: [0000000000002000,0000000000003000) size=4K avail=0 max_avail=0
 Block: [0000000000003000,0000000000004000) size=4K avail=0 max_avail=0
 Block: [0000000000004000,0000000000005000) size=4K avail=0 max_avail=0
 Block: [0000000000005000,0000000000006000) size=4K avail=0 max_avail=0
 Block: [0000000000006000,0000000000007000) size=4K avail=0 max_avail=0
 Block: [0000000000007000,0000000000008000) size=4K avail=0 max_avail=0
 Block: [0000000000008000,0000000000009000) size=4K avail=0 max_avail=0
 Block: [0000000000009000,000000000000a000) size=4K avail=0 max_avail=0
 Block: [000000000000a000,000000000000b000) size=4K avail=0 max_avail=0
 Block: [000000000000b000,000000000000c000) size=4K avail=0 max_avail=0
 Block: [000000000000c000,000000000000d000) size=4K avail=0 max_avail=0
 Block: [000000000000d000,000000000000e000) size=4K avail=0 max_avail=0
 Block: [000000000000e000,000000000000f000) size=4K avail=0 max_avail=0
 Block: [000000000000f000,0000000000010000) size=4K avail=0 max_avail=0
 Block: [0000000000010000,0000000000011000) size=4K avail=0 max_avail=0
 Block: [0000000000011000,0000000000012000) size=4K avail=0 max_avail=0
 Block: [0000000000012000,0000000000013000) size=4K avail=0 max_avail=5112M
 Block: [0000000000013000,0000000000014000) size=4K avail=0 max_avail=0
 Block: [0000000000014000,0000000000015000) size=4K avail=0 max_avail=0
 Block: [0000000000015000,0000000000016000) size=4K avail=0 max_avail=0
 Block: [0000000000016000,0000000000017000) size=4K avail=0 max_avail=0
 Block: [0000000000017000,0000000000018000) size=4K avail=0 max_avail=0
 Block: [0000000000018000,0000000000019000) size=4K avail=0 max_avail=3068K
 Block: [0000000000019000,000000000001a000) size=4K avail=0 max_avail=0
 Block: [000000000001a000,000000000008e000) size=464K avail=464K max_avail=464K
 Block: [0000000000100000,0000000000101000) size=4K avail=0 max_avail=3068K
 Block: [0000000000101000,0000000000400000) size=3068K avail=3068K max_avail=3068K
 Block: [0000000002800000,0000000002801000) size=4K avail=0 max_avail=5112M
 Block: [0000000002801000,0000000002802000) size=4K avail=0 max_avail=0
 Block: [0000000002802000,000000007d8c5000) size=2016012K avail=2016012K max_avail=2016012K
 Block: [0000000080001000,0000000080002000) size=4K avail=0 max_avail=5112M
 Block: [0000000080002000,00000000b2cfb000) size=832484K avail=832484K max_avail=832484K
 Block: [00000000b3aff000,00000000b3b00000) size=4K avail=4K max_avail=5112M
 Block: [0000000100000000,000000023f800000) size=5112M avail=5112M max_avail=5112M
 => mem_size=8280920064 (7897 MB) / mem_avail=8280801280 (7897 MB)

:io_mem_alloc: Allocator 0x1e77d8 dump:
 Block: [0000000000000000,0000000000001000) size=4K avail=4K max_avail=4K
 Block: [000000000008e000,0000000000100000) size=456K avail=456K max_avail=456K
 Block: [00000000b2cfb000,00000000b3aff000) size=14352K avail=14352K max_avail=18014398500052988K
 Block: [00000000b3b00000,0000000100000000) size=1221M avail=1221M max_avail=18014398500052988K
 Block: [000000023f800000,fffffffffffff000) size=18014398500052988K avail=18014398500052988K max_avail=18014398500052988K
 => mem_size=18446744065349738496 (17592186036443 MB) / mem_avail=18446744065349738496 (17592186036443 MB)

:rom_fs: ROM modules:
 ROM: [000000007fe26000,000000007fe397e0) acpi_drv
 ROM: [000000007db8b000,000000007db8cc27) config
 ROM: [000000007fb2e000,000000007fe1bcf8) core.o
 ROM: [000000007f91a000,000000007f996cd8) device_pd
 ROM: [000000007ffbd000,000000007fffedd0) fb_drv
 ROM: [0000000000018000,0000000000019000) hypervisor_info_page
 ROM: [000000007e8af000,000000007e8eb6d0) init
 ROM: [000000007db8d000,000000007dc38bf8) ld.lib.so
 ROM: [000000007d9eb000,000000007db1c050) libc.lib.so
 ROM: [000000007db5b000,000000007db63130) libc_pipe.lib.so
 ROM: [000000007fa20000,000000007fa2ed70) libc_terminal.lib.so
 ROM: [000000007fa2f000,000000007fb13d40) libiconv.lib.so
 ROM: [000000007f9f8000,000000007fa1f4a0) libm.lib.so
 ROM: [000000007db7c000,000000007db8a388) log_terminal
 ROM: [000000007db64000,000000007db7b9c8) nit_fb
 ROM: [000000007db1d000,000000007db5a2e0) nitpicker
 ROM: [000000007f9bd000,000000007f9f7790) platform_drv
 ROM: [000000007f8ec000,000000007f904cf8) ps2_drv
 ROM: [000000007fe1c000,000000007fe256f0) pthread.lib.so
 ROM: [000000007f997000,000000007f9bce18) qemu-usb.lib.so
 ROM: [000000007e897000,000000007e8ae770) report_rom
 ROM: [000000007fe3a000,000000007fe4aa08) rtc_drv
 ROM: [000000007fe4d000,000000007ffbcae0) stdcxx.lib.so
 ROM: [000000007e8ec000,000000007f8ec000) test.iso
 ROM: [000000007fe4b000,000000007fe4cb37) test.vbox
 ROM: [000000007f905000,000000007f9196a8) timer
 ROM: [000000007fb14000,000000007fb2d0a0) vbox_pointer
 ROM: [000000007dc39000,000000007e896678) virtualbox5-nova

Genode 17.05 <local changes>
7896 MiB RAM and 63254 caps assigned to init
[init] child "timer" announces service "Timer"
[init] child "report_rom" announces service "Report"
[init] child "report_rom" announces service "ROM"
[init] child "log_terminal" announces service "Terminal"
[init] child "acpi_report_rom" announces service "Report"
[init] child "acpi_report_rom" announces service "ROM"
[init -> acpi_drv] Found MADT
[init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13
[init -> acpi_drv] Found MCFG
[init -> acpi_drv] MCFG BASE 0xe0000000 seg 0x0 bus 0x0-0xff
[init -> acpi_drv] Found DMAR
[init -> acpi_drv] 39 bit DMA physical addressable , IRQ remapping supported
[init -> acpi_drv] DMA remapping structure type=0
[init -> acpi_drv] DMA remapping structure type=0
[init -> acpi_drv] DMA remapping structure type=1
[init -> acpi_drv] DMA remapping structure type=1
[init] child "platform_drv" announces service "Platform"
[init -> ps2_drv] Using keyboard with scan code set 1 (xlate)
[init -> fb_drv] Found PCI VGA at 00:02.0
[init -> ps2_drv] Warning: could not reset mouse (missing ack)
[init -> fb_drv] fb mapped to 0x1000
[init] child "fb_drv" announces service "Framebuffer"
[init -> ps2_drv] Error: failed to read from port
[init -> ps2_drv] Warning: could not reset mouse (unexpected response)
[init -> ps2_drv] Error: failed to read from port
[init -> ps2_drv] Warning: could not enable stream
[init -> fb_drv] Found: VESA BIOS version 3.0
[init -> fb_drv] OEM: Intel(R) SKL/KBL Mobile/Desktop Graphics Chipset Accelerated VGA BIOS
[init] child "rtc_drv" announces service "Rtc"
[init -> platform_drv] PS2 uses IRQ, vector 0x1
[init -> platform_drv] PS2 uses IRQ, vector 0xc
[init] child "ps2_drv" announces service "Input"
[init -> fb_drv] Found: physical frame buffer at 0xc0000000 size: 134152192
[init -> fb_drv] fb mapped to 0xc000000
[init -> fb_drv] using video mode: 1920x1080@...64...
[init] child "nitpicker" announces service "Nitpicker"
[init] child "nit_fb1" announces service "Framebuffer"
[init] child "nit_fb1" announces service "Input"
[init] child "nit_fb2" announces service "Framebuffer"
[init -> nit_fb1] using xywh=(10,10,1024,768)
[init] child "nit_fb2" announces service "Input"
[init -> nit_fb2] using xywh=(410,410,1024,768)
[init -> vbox1] using the pipe libc plugin
[init -> vbox2] using the pipe libc plugin
[init -> vbox2] Warning: issetugid called, not yet implemented, returning 1
[init -> vbox2] Warning: issetugid called, not yet implemented, returning 1
[init -> vbox1] Warning: issetugid called, not yet implemented, returning 1
[init -> vbox1] Warning: issetugid called, not yet implemented, returning 1
[init -> vbox2] Error: fcntl(): command 2 not supported
[init -> vbox2] Log created: 2017-07-24T20:05:00.000000000Z
[init -> vbox2] main     Executable: /virtualbox
[init -> vbox2] Error: SystemPropertiesWrap : Cannot determine default Guest Additions ISO location. Most likely they are not available
[init -> vbox1] Error: fcntl(): command 2 not supported
[init -> vbox1] Log created: 2017-07-24T20:05:00.000000000Z
[init -> vbox1] main     Executable: /virtualbox
[init -> vbox1] Error: SystemPropertiesWrap : Cannot determine default Guest Additions ISO location. Most likely they are not available
[init -> vbox2] i_saveSettings skipped
[init -> vbox1] i_saveSettings skipped
[init -> vbox2] Warning: _fpathconf: _fpathconf not implemented
[init -> vbox1] Warning: _fpathconf: _fpathconf not implemented
[init -> vbox2] Warning: statfs provides bogus values for '//test.iso' (probably a shared folder)
[init -> vbox1] Warning: statfs provides bogus values for '//test.iso' (probably a shared folder)
[init -> vbox2] Warning: fcntl(): command 4 args 4 not supported - terminal
[init -> vbox1] Warning: fcntl(): command 4 args 4 not supported - terminal
[init -> vbox2] Warning: _sigaction: _sigaction not implemented
[init -> vbox1] Warning: _sigaction: _sigaction not implemented
[init -> vbox2] Using VMX virtualization extension.
[init -> vbox2] Error: fireRuntimeErrorEvent : 0 DrvHostSerialFail Ioctl failed for serial host device '/dev/terminal' (VERR_NOT_SUPPORTED). The device will not work properly
[init -> vbox1] Using VMX virtualization extension.
[init -> vbox1] Error: fireRuntimeErrorEvent : 0 DrvHostSerialFail Ioctl failed for serial host device '/dev/terminal' (VERR_NOT_SUPPORTED). The device will not work properly
[init -> vbox2] fb resize : [0] 1024x768 -> 720x400
[init -> vbox1] fb resize : [0] 1024x768 -> 720x400
[init -> vbox2] fb resize : [0] 720x400 -> 640x480
[init -> vbox1] fb resize : [0] 720x400 -> 640x480
[init -> vbox2] fb resize : [0] 640x480 -> 720x400
[init -> vbox1] fb resize : [0] 640x480 -> 720x400
[ 0] DMAR:0xffffffff81036078 FRR:0 FR:0x5 BDF:0:14:0 FI:0xb3575000
[ 0] DMAR:0xffffffff81036078 FRR:0 FR:0x6 BDF:0:14:0 FI:0xb3575000
[init -> vbox2] leave exit_reason=54 - optimize ?
[init -> vbox2] leave exit_reason=54 - optimize ?
[init -> vbox1] leave exit_reason=54 - optimize ?
[init -> vbox1] leave exit_reason=54 - optimize ?
[init -> vbox1] fb resize : [0] 720x400 -> 1024x768
[init -> vbox2] fb resize : [0] 720x400 -> 1024x768


On Mon, Jul 10, 2017 at 2:59 AM, Alexander Boettcher <alexander.boettcher@...1...> wrote:
On 06.07.2017 22:10, Chris Rothrock wrote:
> leaves me back at my starting point - I have no means of obtaining serial
> log data from a hardware boot.

Seriously ? I can't believe.

Getting a test machine with the minimal requirement of getting serial
log output is fundamental to be productive. (There are so cheap (for a
company/project) refurbished Intel notebooks available with Intel AMT
SOL on board ...)

Nevertheless,

I updated [0] and added some (experimental/untested) features. Mainly
they take care to capture the log output in 'core' and a graphical
terminal will show them. Obviously, this only make sense if you managed
to boot Genode into the graphical environment and all went fine. (Which
sounds so in your case).

Good luck,

Alex.

[0] https://github.com/alex-ab/genode/commits/staging_vbox_run

>
> On Thu, Jul 6, 2017 at 4:00 PM, Alexander Boettcher <
> alexander.boettcher@...52...495...labs.com> wrote:
>
>> Hi,
>>
>> On 06.07.2017 21:40, Chris Rothrock wrote:
>>> Scratch that, I found the issue with this specific error (I had in the
>>> virtualbox.run recipe the nic_drv and nic_bridge commented out for
>>> troubleshooting).  I have enabled these again and now have new errors
>>> listed below.  The entire serial output listed below:
>>>
>>> NOVA Microhypervisor v7-8bcd6fc (x86_64): Jun  6 2017 12:07:06 [gcc
>> 6.3.0]
>>>
>>> [ 0] TSC:2637247 kHz BUS:1017434 kHz
>>> [ 0] CORE:0:0:0 6:f:b:0 [0] Intel(R) Core(TM)2 Duo CPU     T7700  @
>> 2.40GHz
>>> Hypervisor reports 1x1 CPU
>>> Warning: CPU has no invariant TSC.
>>> CPU ID (genode->kernel:package:core:thread) remapping
>>>  remap (0->0:0:0:0) boot cpu
>>
>> You either running in a VM (looks bit like Qemu as VMM? [on XEN ?]) or
>> your CPU is really old, not to say odd. The invariant TSC is suspicious.
>> Only 1 CPU is more suspicious. According to Intel [0] it has 2 cores and
>> has hardware virtualization support (Vt-x).
>>
>> [0]
>> http://ark.intel.com/products/29762/Intel-Core2-Duo-
>> Processor-T7700-4M-Cache-2_40-GHz-800-MHz-FSB
>>
>>> [init -> vbox1] Warning: No virtualization hardware acceleration
>> available
>>> [init -> vbox2] Warning: No virtualization hardware acceleration
>> available
>>
>> Your CPU has no hardware support for virtualization. You either are not
>> running on real hardware or the feature is not turned on in your BIOS
>> (which sometimes is disabled by default by the PC vendors.)
>>
>> Cheers,
>>
>> --
>> Alexander Boettcher
>> Genode Labs
>>
>> http://www.genode-labs.com - http://www.genode.org
>>
>> Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
>> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
>>
>
>
>

--
Alexander Boettcher
Genode Labs

http://www.genode-labs.com - http://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth



--


Thank You,

Chris Rothrock
Senior System Administrator
(315) 308-1637