Hello Christian,
thank you for the patch. You are right, the video system could not be initialized. Applying your patch changed the output of the make command slightly in the following way:
make[1]: Leaving directory `/opt/genode-14.02/build.lx' genode build completed spawn ./core int main(): --- create local services --- int main(): --- start init --- int main(): transferred 4095 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" No protocol specified No protocol specified [init -> launchpad] Could not open file "ld.lib.so" [init -> fb_sdl] SDL_SetVideoMode failed [init] virtual void Genode::Child_policy::exit(int): child exited with exit value 0
The following software components regarding libSDL are available on my system:
libSDL-1_2-0 libSDL-devel libSDL_gfx13 DirectFB-libSDL
Do you have any suggestions for tackling this issue ?
Best regards, Markus