spawn ./core
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 4095 MB to init
int main(): --- init created, waiting for exit condition ---
[init] Could not open file "
ld.lib.so"
[init -> launchpad] Could not open file "
ld.lib.so"
[init -> launchpad] Could not open file "config"
[init -> launchpad] Could not obtain config file
[init -> timer] args='label="nitpicker", ram_quota=4096'
[init -> fb_sdl] creating virtual framebuffer for mode 1024x768@...64...
[init -> nitpicker] framebuffer is 1024x768@...23...
[init -> nitpicker] create session with args: fb_format=1, label="launchpad", ram_quota=1646592
[init -> nitpicker] Could not open file "config"
[init -> nitpicker] Could not obtain config file
[init -> nitpicker] create session with args: fb_width=400, fb_height=1504, fb_format=1, label="launchpad", ram_quota=1211392
[init -> timer] args='label="launchpad", ram_quota=4096'
[init -> launchpad] --- entering main loop ---
It seemed that something was wrong, but it did work.I am getting the GUI.
But when i contiued the experiment--build genode for fiasco,almost same message was shown,but i got no GUI.
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 229 MB to init
int main(): --- init created, waiting for exit condition ---
[init] Could not open file "
ld.lib.so"
[init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support.
[init -> ps2_drv] Using keyboard with scan code set 1 (xlate).
[init -> pci_drv] PCI driver started
[init -> pci_drv] Could not open file "pci_device_pd"
[init -> pci_drv] PCI device protection domain for IOMMU support is not available
[init -> vesa_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 106a000
[init -> pci_drv] Could not open file "config"
[init -> pci_drv] Could not obtain config file
[init -> pci_drv] PCI config space data could not be parsed.
[init -> launchpad] Could not open file "
ld.lib.so"
[init -> launchpad] Could not open file "config"
[init -> launchpad] Could not obtain config file
[init -> timer] args='label="nitpicker", ram_quota=4096'
[init -> vesa_drv] Could not open file "config"
[init -> vesa_drv] Could not obtain config file
[init -> vesa_drv] Found: VESA BIOS version 2.0
[init -> vesa_drv] OEM: VGABIOS Cirrus extension
[init -> vesa_drv] Found: physical frame buffer at 0xfc000000 size: 0x00400000
[init -> vesa_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 -> nitpicker] framebuffer is 1024x768@...175....
[init -> nitpicker] create session with args: fb_format=1, label="launchpad", ram_quota=1646592
[init -> nitpicker] Could not open file "config"
[init -> nitpicker] Could not obtain config file
[init -> nitpicker] create session with args: fb_width=400, fb_height=1504, fb_format=1, label="launchpad", ram_quota=1211392
[init -> timer] args='label="launchpad", ram_quota=4096'
[init -> launchpad] --- entering main loop ---
Is this right?I am not sure whether it really has no GUI to show or i made some mistakes.