Problem solved by: paul@...162...:/usr/lib/x86_64-linux-gnu$ sudo cp pulseaudio/libpulsecommon-2.1.so . [sudo] password for paul: paul@...162...:/usr/lib/x86_64-linux-gnu$ ls libpuls* libpulsecommon-2.1.so libpulse-simple.so libpulse.so.0 libpulse-mainloop-glib.so libpulse-simple.so.0 libpulse.so.0.14.3 libpulse-mainloop-glib.so.0 libpulse-simple.so.0.0.3 libpulse-mainloop-glib.so.0.0.4 libpulse.so paul@...162...:/usr/lib/x86_64-linux-gnu$
I now have: Program app/launchpad/launchpad COMPILE launcher.o COMPILE launchpad_window.o COMPILE main.o LINK launchpad make[1]: Leaving directory `/home/paul/Bureau/Genode/genode-12.11/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 -> launchpad] Could not open file "ld.lib.so" [init -> launchpad] Could not open file "config" [init -> launchpad] Could not obtain config file
and an empty black screen... which seems to be a new topic to open here. ;-)