questions about installation of genode

Norman Feske norman.feske at ...1...
Fri Mar 30 08:20:09 CEST 2012


> 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 ""
> [init] unsupported program segment type 0x7
> [init -> launchpad] Could not open file ""
> [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 at ...64...

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?


More information about the users mailing list