Tested run/demo on nova: liquid_fb tried to call an invalid object

[Paul Dufresne]

Just giving a small glitch while trying run/demo on Nova (x86_64).

First I am using a 2 day old master.zip file of Genode (because I had
github not able finishing getting objects in 56k with git clone).
However I have a new git clone of Nova that did work fine.

Note 1: Genode seems to get latest version of Nova by a simple git
clone without mentioning the revision that it seems to be done for:
genode-master/base-nova/Makefile:
GIT_URL     = git://github.com/IntelLabs/NOVA.git
GIT_REV     = 16dd65c15dac298dc5b36d636d79fa0110bd5736
...
$(CONTRIB_DIR)/.git:
	$(VERBOSE)git clone $(GIT_URL) $(CONTRIB_DIR)
which seems to ignore GIT_REV

First, I tried to make run/hello without the make prepare in
base-nova, but I did after, and it finished building, so I did not
rebuild.

First time I run/demo I hit a problem when clicking on
liquid_framebuffer, that do not seems to repeat the next time:
[init -> timer]
Timer::Timeout_scheduler::Timeout_scheduler(Platform_timer*,
Genode::Rpc_entrypoint*): starting timeout scheduler
[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 1000
[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 at ...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 -> launchpad] --- entering main loop ---
[init -> launchpad] starting liquid_fb with quota 7340032
[init -> launchpad] using unique child name "liquid_fb"
[init -> launchpad -> liquid_fb] Could not open file "config"
[init -> launchpad -> liquid_fb] Could not obtain config file
[init -> nitpicker] create session with args: fb_format=1,
label="launchpad -> liquid_fb", ram_quota=1646592
[init -> nitpicker] create session with args: fb_width=510,
fb_height=880, fb_format=1, label="launchpad -> liquid_fb",
ram_quota=905792
[init -> launchpad] liquid_fb registered service Framebuffer
[init -> launchpad] liquid_fb registered service Input
virtual void Genode::Signal_session_component::submit(Genode::Signal_context_capability,
unsigned int): invalid signal-context capability
unresolvable page-fault at address 0xa00fdfc0, ip=0x1010128
[ 0] Killed EC:0xffffffff810a02e0 SC:0xffffffff823ccba0 V:0xe CS:0x2b
EIP:0x1010128 CR2:0xa00fdfc0 ERR:0x6 (PT not found)

Although id does run (moving background), the cursor stop. But I was
able to get back control from Qemu with Ctrl-Alt.

The next time I did run/demo, the liquid_fb worked (cursor and all
works), but there is an error:
See the line with [init -> launchpad -> liquid_fb] tried to call an
invalid object:
[init -> launchpad] Could not open file "ld.lib.so"
[init -> ps2_drv] Using keyboard with scan code set 1 (xlate).
[init -> launchpad] Could not open file "config"
[init -> launchpad] Could not obtain config file
[init -> timer]
Timer::Timeout_scheduler::Timeout_scheduler(Platform_timer*,
Genode::Rpc_entrypoint*): starting timeout scheduler
[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 1000
[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 at ...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 -> launchpad] --- entering main loop ---
[init -> launchpad] starting liquid_fb with quota 7340032
[init -> launchpad] using unique child name "liquid_fb"
[init -> launchpad -> liquid_fb] Could not open file "config"
[init -> launchpad -> liquid_fb] Could not obtain config file
[init -> nitpicker] create session with args: fb_format=1,
label="launchpad -> liquid_fb", ram_quota=1646592
[init -> nitpicker] create session with args: fb_width=510,
fb_height=880, fb_format=1, label="launchpad -> liquid_fb",
ram_quota=905792
[init -> launchpad] liquid_fb registered service Framebuffer
[init -> launchpad] liquid_fb registered service Input
[init -> launchpad -> liquid_fb] tried to call an invalid object
[init -> launchpad -> liquid_fb] C++ runtime: Genode::Ipc_error
[init -> launchpad -> liquid_fb] void* abort(): abort called
unmapping of managed dataspaces not yet supported
[init -> launchpad] starting liquid_fb with quota 7340032
[init -> launchpad] using unique child name "liquid_fb"
[init -> launchpad -> liquid_fb] Could not open file "config"
[init -> launchpad -> liquid_fb] Could not obtain config file
[init -> nitpicker] create session with args: fb_format=1,
label="launchpad -> liquid_fb", ram_quota=1646592
[init -> nitpicker] create session with args: fb_width=510,
fb_height=880, fb_format=1, label="launchpad -> liquid_fb",
ram_quota=905792
[init -> launchpad] liquid_fb registered service Framebuffer
[init -> launchpad] liquid_fb registered service Input
qemu: terminating on signal 2

I intend to test the iso on my machine on a CD or DVD.