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@...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@...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.