Hello,

> make[1]: Leaving directory `/usr/local/genode-12.02/build.lx'
> genode build completed
> spawn ./core
> int main(): --- create local services ---
> int main(): --- start init ---
> int main(): transferred 79 MB to init
> int main(): --- init created, waiting for exit condition ---
> [init] Could not open file "ld.lib.so"
> [init] unsupported program segment type 0x7
> [init -> launchpad] Could not open file "ld.lib.so"
> [init -> launchpad] Could not open file "config"
> [init -> launchpad] Could not obtain config file

so far everything looks ok. The messages are not errors but mere
information that launchpad falls back to its the built-in configuration.
Also the message by init is as expected (the demo setup does not use
dynamically-linked executables so we have not included the dynamic linker).

> No protocol specified
> No protocol specified
> init kbd.
> [init -> fb_sdl] creating virtual framebuffer for mode 1024x768@16

These lines are suspect. It seems that libSDL is not able to initialize
properly. Can you successfully run any normal libSDL-based program on
your setup? Are you using X11 or are you trying to start Genode from a
framebuffer console?

Cheers
Norman

------------------------------------------------------------------------------
This SF email is sponsosred by:
Try Windows Azure free for 90 days Click Here 
http://p.sf.net/sfu/sfd2d-msazure
_______________________________________________
Genode-main mailing list
Genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to