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@...495...labs.com> 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@...519...s.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