spawn qemu-system-x86_64 -enable-kvm -display sdl -cpu host -m 1536 -drive id=disk,file=bin/seoul-disc.raw,format=raw,if=none -device ahci,id=ahci -device ide-drive,drive=disk,bus=ahci.3 -boot d -serial mon:stdio -drive format=raw,file=var/run/seoul-disc.img -machine q35
qemu-system-x86_64: -device ide-drive,drive=disk,bus=ahci.3: warning: 'ide-drive' is deprecated, please use 'ide-hd' or 'ide-cd' instead
Bender: Hello World.

NOVA Microhypervisor v8-1bc6101 (x86_64): Nov  5 2020 16:57:53 [gcc 8.3.0] [MBI2]

[-1] KEYB: GSI:0x1
[ 0] TSC:2113388 kHz BUS:0 kHz (measured) DL
[ 0] VMCS:0x017e7000 REV:0x11e57ed0 EPT:0 URG:0 VNMI:1 VPID:0
[ 0] CORE:0:0:0 6:8e:c:0 [1] Intel(R) Core(TM) i7-8665U CPU @ 1.90GHz

Hypervisor NOVA (API v8)
core     image  [0000000000100000,000000000078a000)
binaries region [00000000002a3000,000000000078a000) free for reuse
detected physical memory: 0x0000000000000000 - size: 0x000000000009fc00
use      physical memory: 0x0000000000000000 - size: 0x000000000009f000
detected physical memory: 0x0000000000100000 - size: 0x000000005fedf000
use      physical memory: 0x0000000000100000 - size: 0x000000005fedf000
reserved memory: 0x5f953000 - size: 0x68b2f0 type=-2
reserved memory: 0x9fc00 - size: 0x400 type=2
reserved memory: 0xf0000 - size: 0x10000 type=2
reserved memory: 0x5ffdf000 - size: 0x21000 type=2
reserved memory: 0xb0000000 - size: 0x10000000 type=2
reserved memory: 0xfed1c000 - size: 0x4000 type=2
reserved memory: 0xfeffc000 - size: 0x4000 type=2
reserved memory: 0xfffc0000 - size: 0x40000 type=2
reserved memory: 0xfd000000 - size: 0x300000 type=-5
reserved memory: 0x1000000 - size: 0x800000 type=-1
reserved memory: 0x1800000 - size: 0x13200000 type=-1
reserved memory: 0x5ffe2068 - size: 0x0 type=-3
Hypervisor features VMX
Hypervisor reports 1x1 CPU 
Warning: CPU has no invariant TSC.
mapping: affinity space -> kernel cpu id - package:core:thread
 remap (0x0) -> 0 - 0:0:0) boot cpu
ROM modules:
 ROM: [000000005fee9000,000000005ff10be8) acpi_drv
 ROM: [000000005fb19000,000000005fb4f9c0) ahci_drv
 ROM: [000000005fcff000,000000005fd00a49) config
 ROM: [0000000000013000,0000000000017000) core_log
 ROM: [000000005fba8000,000000005fc07800) init
 ROM: [000000005ff96000,000000005ff97cb6) init.xsd
 ROM: [000000005ff11000,000000005ff66340) ipxe_nic_drv
 ROM: [000000005fdc7000,000000005fec55a8) ld.lib.so
 ROM: [000000005fc08000,000000005fc779f0) nitpicker
 ROM: [000000005fcce000,000000005fcfe848) part_block
 ROM: [000000005fb50000,000000005fba7a18) platform_drv
 ROM: [0000000000011000,0000000000012000) platform_info
 ROM: [000000005ff98000,000000005ffbec38) pointer
 ROM: [000000005ff67000,000000005ff95678) ps2_drv
 ROM: [000000005faf8000,000000005fb18520) report_rom
 ROM: [000000005fec6000,000000005fee8860) rtc_drv
 ROM: [000000005fd01000,000000005fdc6b58) seoul
 ROM: [000000005ffbf000,000000005ffdd390) timer
 ROM: [000000005fc78000,000000005fccd510) vesa_fb_drv
 ROM: [000000005faf7000,000000005faf74b6) vm_seoul.cfg

314M kernel memory

[ 0] PD Creation core won't be cowed
Genode 20.05-104-g7038fe69c <local changes>
1214 MiB RAM and 63253 caps assigned to init
[ 0] PD Creation init won't be cowed
[init] parent provides
[init]   service "ROM"
[init]   service "IRQ"
[init]   service "IO_MEM"
[init]   service "IO_PORT"
[init]   service "PD"
[init]   service "RM"
[init]   service "CPU"
[init]   service "VM"
[init]   service "LOG"
[init] child "timer"
[init]   RAM quota:  776K
[init]   cap quota:  66
[init]   ELF binary: timer
[init]   priority:   0
[init]   provides service Timer
[init] child "rtc_drv"
[init]   RAM quota:  776K
[init]   cap quota:  66
[init]   ELF binary: rtc_drv
[init]   priority:   1
[init]   provides service Rtc
[init] child "ps2_drv"
[init]   RAM quota:  2824K
[init]   cap quota:  66
[init]   ELF binary: ps2_drv
[init]   priority:   1
[init]   provides service Input
[init] child "ahci_drv"
[init]   RAM quota:  776K
[init]   cap quota:  66
[init]   ELF binary: ahci_drv
[init]   priority:   1
[init]   provides service Block
[init] child "part_block"
[init]   RAM quota:  9992K
[init]   cap quota:  66
[init]   ELF binary: part_block
[init]   priority:   1
[init]   provides service Block
[init] child "acpi_drv"
[init]   RAM quota:  3848K
[init]   cap quota:  316
[init]   ELF binary: acpi_drv
[init]   priority:   1
[init] child "acpi_report_rom"
[init]   RAM quota:  1800K
[init]   cap quota:  66
[init]   ELF binary: report_rom
[init]   priority:   1
[init]   provides service ROM
[init]   provides service Report
[init] child "platform_drv"
[init]   RAM quota:  3848K
[init]   cap quota:  766
[init]   ELF binary: platform_drv
[init]   priority:   1
[init]   provides service Platform
[init]   provides service Acpi
[init] child "nic_drv"
[init]   RAM quota:  7944K
[init]   cap quota:  66
[init]   ELF binary: ipxe_nic_drv
[init]   priority:   2
[init]   provides service Nic
[init] child "fb_drv"
[init]   RAM quota:  16136K
[init]   cap quota:  96
[init]   ELF binary: vesa_fb_drv
[init]   priority:   1
[init] child "seoul"
[init]   RAM quota:  524040K
[init]   cap quota:  766
[init]   ELF binary: seoul
[init]   priority:   3
[init] child "nitpicker"
[init]   RAM quota:  7944K
[init]   cap quota:  86
[init]   ELF binary: nitpicker
[init]   priority:   1
[init]   provides service Gui
[init]   provides service Capture
[init] child "pointer"
[init]   RAM quota:  1800K
[init]   cap quota:  66
[init]   ELF binary: pointer
[init]   priority:   0
[init] child "report_rom"
[init]   RAM quota:  776K
[init]   cap quota:  66
[init]   ELF binary: report_rom
[init]   priority:   0
[init]   provides service Report
[init]   provides service ROM
[ 0] PD Creation init -> report_rom won't be cowed
[ 0] PD Creation init -> pointer won't be cowed
[ 0] PD Creation init -> nitpicker won't be cowed
[ 0] PD Creation init -> seoul won't be cowed
[ 0] PD Creation init -> fb_drv won't be cowed
[ 0] PD Creation init -> nic_drv won't be cowed
[ 0] PD Creation init -> platform_drv won't be cowed
[ 0] PD Creation init -> acpi_report_rom won't be cowed
[ 0] PD Creation init -> acpi_drv won't be cowed
[ 0] PD Creation init -> part_block won't be cowed
[ 0] PD Creation init -> ahci_drv won't be cowed
[ 0] PD Creation init -> ps2_drv won't be cowed
[ 0] PD Creation init -> rtc_drv won't be cowed
[ 0] PD Creation init -> timer won't be cowed
[init] child "report_rom" announces service "Report"
[init] child "report_rom" announces service "ROM"
[init] child "timer" announces service "Timer"
[init] child "nitpicker" announces service "Gui"
[init] child "nitpicker" announces service "Capture"
[init] child "acpi_report_rom" announces service "Report"
[init] child "acpi_report_rom" announces service "ROM"
[init -> ahci_drv] --- Starting AHCI driver ---
[init -> acpi_drv] Found MADT
[init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> acpi_drv] MADT IRQ 5 -> GSI 5 flags: 13
[init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13
[init -> acpi_drv] MADT IRQ 10 -> GSI 10 flags: 13
[init -> acpi_drv] MADT IRQ 11 -> GSI 11 flags: 13
[init -> acpi_drv] Found MCFG
[init -> acpi_drv] MCFG BASE 0xb0000000 seg 0x0 bus 0x0-0xff
[init -> acpi_drv] RSDT OEM 'BOCHS ', table id 'BXPCRSDT', revision 1, creator 'BXPC' (1)
[init -> acpi_drv] SMBIOS table (entry point: 0x1758f0 structures: 0xf5910)
[init -> platform_drv] ECAM/MMCONF range 00:00.0-ff:1f.7 - addr [00000000b0000000,00000000c0000000)
[init -> platform_drv] Root bridge: 00:00.0
[init] child "platform_drv" announces service "Platform"
[ 0] PD Creation init -> platform_drv -> ahci_drv ->  won't be cowed
[ 0] PD Creation init -> platform_drv -> ps2_drv ->  won't be cowed
[ 0] PD Creation init -> platform_drv -> fb_drv ->  won't be cowed
[ 0] PD Creation init -> platform_drv -> fb_drv ->  won't be cowed
[ 0] PD Creation init -> platform_drv -> fb_drv ->  won't be cowed
[ 0] PD Creation init -> platform_drv -> ps2_drv ->  won't be cowed
[ 0] PD Creation init -> platform_drv -> ahci_drv ->  won't be cowed
[ 0] PD Creation init -> platform_drv -> fb_drv ->  won't be cowed
[init -> ahci_drv] AHCI found (vendor: 0x8086 device: 0x2922 class: 0x10601)
[init -> platform_drv] 00:03.0 uses MSI vector 0x9f, address 0xfee00000
[init -> ahci_drv] version: major=0x1 minor=0x0
[init -> ahci_drv] command slots: 32
[init -> fb_drv] Found PCI VGA at 00:01.0
[init -> ahci_drv] native command queuing: yes
[init -> ahci_drv] 64-bit support: yes
[init -> ahci_drv] number of ports: 6 pi: 0x3f
[init -> ahci_drv] 		#0:  off (unknown device signature)
[init -> ahci_drv] 		#1:  off (unknown device signature)
[init -> ahci_drv] 		#2:  off (unknown device signature)
[init -> ahci_drv] Warning: CMD.ST bit set during device reset --> unknown behavior
[init -> ps2_drv] Using keyboard with scan code set 1 (xlate)
[init -> fb_drv] fb mapped to 0x5000
[init -> ahci_drv] 		#3: ATA
[init -> ahci_drv] 		#4:  off (unknown device signature)
[init -> ahci_drv] 		#5:  off (unknown device signature)
[init -> ps2_drv] detected ExPS/2 mouse - activating scroll-wheel and 5-button support
[init -> platform_drv] PS2 uses IRQ, vector 0x1
[init -> platform_drv] PS2 uses IRQ, vector 0xc
[init] child "ps2_drv" announces service "Input"
[init] child "ahci_drv" announces service "Block"
[init -> part_block] Partition 1: LBA 63 (65473 blocks) type: 83
[init] child "part_block" announces service "Block"
[init -> fb_drv] Found: VESA BIOS version 3.0
[init -> fb_drv] OEM: SeaBIOS VBE(C) 2011
[init -> fb_drv] Found: physical frame buffer at 0xfd000000 size: 16777216
[init -> fb_drv] fb mapped to 0xb000000
[init -> fb_drv] using VESA mode 1280x960@32
[init] child "rtc_drv" announces service "Rtc"
[init -> nic_drv] --- iPXE NIC driver started ---
[init -> nic_drv] -- init iPXE NIC
[ 0] PD Creation init -> platform_drv -> nic_drv ->  won't be cowed
[ 0] PD Creation init -> platform_drv -> nic_drv ->  won't be cowed
[init -> nic_drv] Found: 00:02.0 8086:10d3 (rev 00) IRQ 0b
[init -> nic_drv] 
[init -> nic_drv] using driver 82574l
[init -> nic_drv] 
[init -> nic_drv] PCI device 00:02.0 latency timer is unreasonably low at 0. Setting to 32.
[init -> nic_drv] 
[init -> nic_drv] 
[init -> nic_drv] bus_addr = feb80000 len = 20000
[init -> nic_drv] 
[ 0] PD Creation Unknown won't be cowed
[init -> seoul] --- Seoul VMM starting ---
[init -> seoul]  VMM memory 16M
[init -> seoul]  using large memory attachments for guest VM.
[init -> seoul]  framebuffer 1024x768
[init -> nic_drv] snprintf not implemented
[init -> nic_drv] 
[init -> platform_drv] 00:02.0 uses MSI-X vector 0x9e, address 0xfee00000
[init] child "nic_drv" announces service "Nic"
[init -> seoul] [0000000010000000,000000002ef3f000) - 495 MiB - VMM accessible shadow mapping of VM memory
[init -> seoul] [0000000001000000,00000000010d0824) - VMM program image
[init -> seoul] 
[init -> seoul] --- Setup VM ---
[init -> seoul] VMM: physmem: 0 [0, 9a000]
[init -> seoul] VMM: physmem: 0 [100000, 1ef3f000]
[init -> seoul] VMM: Got time 5b35e2c6a1240
[init -> seoul] VMM: VGA console 1ef3f000+300000 b000000
[init -> seoul] VMM: create vcpu 0 affinity 0:0
[init -> seoul] VMM: LAPIC freq 132086750
[init -> seoul] VMM: SATA disk 0 flags 1 sectors ffc1
[init -> seoul] VMM: not finished 1404034,0 inprogress 0
[init -> seoul] VMM: not finished 1404034,0 inprogress 0
[init -> nic_drv] MAC address 52:54:00:12:34:56
[init -> seoul] VMM: Mac address: 52:54:00:12:34:56
[init -> seoul] VMM: Attached 82576VF model at f7ce0000+0x4000, f7cc0000+0x1000
[init -> seoul] 
[init -> seoul] --- Booting VM ---
[init -> seoul] VM is starting with 1 vCPU
[init -> seoul] VMM: RESET device state
[init -> seoul] VMM: MessageLegacy::RESET requested
[init -> seoul] VMM: INIT done
[init -> seoul] VMM: reset CPU from 9 mtr_in effff
[init -> seoul] VMM: boot from disk
[init -> part_block] Warning: no policy defined for label 'seoul -> VirtualDisk 1'
[init -> part_block] Error: rejecting session request, no matching policy for 'seoul -> VirtualDisk 1'
[init -> seoul] Error: Block-session creation failed (ram_quota=2111488, cap_quota=5, tx_buf_size=2097152, label="VirtualDisk 1")
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk
[init -> seoul] VMM: boot from disk