I have been able to produce the seoul-fancy iso, which also cranked up qemu, but noticed some messages that I though that I would post as it may be part of the problem that I am having with the USB mouse/keyboard.
.
.
.
.
.
.
[init] child "fb_drv" announces service "Framebuffer"
[init -> nic_drv] scan_pci(): Found: 00:03.0 8086:100e (rev 03) IRQ 0b
[init -> nic_drv] probe_pci_device(): using driver 82540em
[init -> nic_drv] adjust_pci_device(): PCI BIOS has not enabled device 00:03.0! Updating PCI command 0003->0007
[init -> nic_drv] adjust_pci_device(): PCI device 00:03.0 latency timer is unreasonably low at 0. Setting to 32.
[init -> nic_drv] ioremap(): bus_addr = feba0000 len = 20000
[init -> usb_drv] Services::Services(): No <storage> config node found - not starting the USB Storage (Block) service
[init -> usb_drv] Services::Services(): No <nic> config node found - not starting the USB Nic (Network) service
[init -> usb_drv] Enabled UHCI (USB 1.0/1.1) support
[init -> usb_drv] Enabled EHCI (USB 2.0) support
[init -> nic_drv] snprintf not implemented
[init -> usb_drv] Enabled XHCI (USB 3.0) support
[init] child "usb_drv" announces service "Input"
Quota exceeded! amount=8192, size=4096, consumed=8192
[init -> usb_drv] upgrading quota donation for SIGNAL session
Quota exceeded! amount=24576, size=4096, consumed=24576
[init -> nic_drv] upgrading quota donation for Env::CPU (8192 bytes)
[init -> nic_drv] number of devices: 1
[init -> nic_drv] --- init rx_callbacks
[init -> nic_drv] --- get MAC address 52:54:00:12:34:56
Quota exceeded! amount=16384, size=4096, consumed=16384
[init -> nic_bridge] upgrading quota donation for SIGNAL session
Quota exceeded! amount=20480, size=4096, consumed=20480
[init -> fb_drv] Found: VESA BIOS version 2.0
[init -> fb_drv] OEM: VGABIOS Cirrus extension
[init -> nic_bridge] upgrading quota donation for SIGNAL session
[init -> nic_bridge] --- NIC bridge started (mac=52:54:00:12:34:56) ---
[init -> usb_drv] dev_info: UHCI Host Controller
[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1
[init -> usb_drv] dev_info: detected 2 ports
Quota exceeded! amount=12288, size=4096, consumed=12288
[init -> usb_drv] upgrading quota donation for SIGNAL session
[init -> usb_drv] dev_info: irq 11, io base 0x0000c040
Quota exceeded! amount=16384, size=4096, consumed=16384
[init -> usb_drv] upgrading quota donation for SIGNAL session
[init -> usb_drv] dev_info: New USB device found, idVendor=1d6b, idProduct=0001
[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=1
[init -> usb_drv] dev_info: USB hub found
Quota exceeded! amount=20480, size=4096, consumed=20480
[init -> usb_drv] upgrading quota donation for SIGNAL session
[init -> usb_drv] dev_info: 2 ports detected
[init -> usb_drv] dev_info: new full-speed USB device number 2 using uhci_hcd
[init -> usb_drv] dev_info: New USB device found, idVendor=0627, idProduct=0001
[init -> usb_drv] dev_info: New USB device strings: Mfr=1, Product=2, SerialNumber=5
Quota exceeded! amount=24576, size=4096, consumed=24576
[init -> usb_drv] upgrading quota donation for SIGNAL session
[init -> usb_drv] dev_info: HID 0627:0001
[init -> usb_drv] dev_info: input: USB HID v0.01 Mouse [HID 0627:0001] on /input0
[init -> usb_drv] dev_info: new full-speed USB device number 3 using uhci_hcd
[init -> fb_drv] Found: physical frame buffer at 0xfc000000 size: 0x00400000
[init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 400000
[init -> fb_drv] Framebuffer::Session_component::Session_component(unsigned int, unsigned int, unsigned int, Genode::Dataspace_capability, bool): use buf size 1572864
[init -> fb_drv] using buffered output
Quota exceeded! amount=8192, size=4096, consumed=8192
[init -> nitpicker] upgrading quota donation for SIGNAL session
[init -> nitpicker] Could not open file "config"
[init -> nitpicker] Could not obtain config file
[init] child "nitpicker" announces service "Nitpicker"
[init -> nitpicker] create session with args: label="launchpad", ram_quota=12288
[init -> usb_drv] dev_info: New USB device found, idVendor=0409, idProduct=55aa
[init -> usb_drv] dev_info: New USB device strings: Mfr=1, Product=2, SerialNumber=3
[init -> usb_drv] dev_info: USB hub found
Quota exceeded! amount=28672, size=4096, consumed=28672
[init -> usb_drv] upgrading quota donation for SIGNAL session
[init -> usb_drv] dev_info: 8 ports detected
[init -> usb_drv] dev_info: new full-speed USB device number 4 using uhci_hcd
[init -> usb_drv] dev_info: New USB device found, idVendor=0627, idProduct=0001
[init -> usb_drv] dev_info: New USB device strings: Mfr=1, Product=4, SerialNumber=5
Quota exceeded! amount=32768, size=4096, consumed=32768
[init -> usb_drv] upgrading quota donation for SIGNAL session
[init -> usb_drv] dev_info: HID 0627:0001
[init -> usb_drv] dev_info: input: USB HID v1.11 Keyboard [HID 0627:0001] on /input0
[init -> launchpad] --- entering main loop ---
: spawn id exp6 not open
while executing
"expect {
-i $running_spawn_id -re $wait_for_re { }
eof { puts stderr "Error: Spawned process died unexpectedly"; exit -3 }
timeout { puts ..."
(procedure "wait_for_output" line 17)
invoked from within
"wait_for_output $wait_for_re $timeout_value $qemu_spawn_id"
(procedure "spawn_qemu" line 60)
invoked from within
"spawn_qemu $wait_for_re $timeout_value"
(procedure "run_genode_until" line 22)
invoked from within
"run_genode_until forever"
(file "/home/lonnie/genode/ports/run/seoul-fancy.run" line 58)
invoked from within
"source $include_name"
("foreach" body line 3)
invoked from within
"foreach include_name [get_cmd_arg --include ""] {
puts "using run script $include_name"
source $include_name
}"
(file "/home/lonnie/genode/tool/run" line 812)
make: *** [run/seoul-fancy] Error 1
lonnie@...223...:~/genode/gnova64$
---------------------------------------------------------------------------------------------------
Additionally, I also booted the ISO on the physical hardware which does not work as well and seems to have issues with the USB mouse/keyboard.
Still looking into things though.