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@...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?
Cheers Norman