Hi, I am new to Genode and love it (particularly the release notes!).

I am having a problem linking fb_sdl with while compiling Genode 12.11 on LuninuxOS (based on Ubuntu Quantal) 64 bits: paul@...162...:~/Bureau/Genode/genode-12.11/build.lx$ make run/demousing run script /home/paul/Bureau/Genode/genode-12.11/base-linux/run/env using run script /home/paul/Bureau/Genode/genode-12.11/os/run/demo.run building targets: core init drivers/timer server/nitpicker server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/pci drivers/input

spawn make core init drivers/timer server/nitpicker server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/pci drivers/input make[1]: Entering directory `/home/paul/Bureau/Genode/genode-12.11/build.lx' checking library dependencies... Skip target drivers/framebuffer/fiasco_ux because it requires fiasco Skip target drivers/framebuffer/omap4 because it requires omap4 Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9 Skip target drivers/framebuffer/pl11x/vea9x4 because it requires pl11x platform_vea9x4 Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926 Skip target drivers/framebuffer/vesa because it requires vesa Skip target drivers/input/fiasco_ux because it requires fiasco Skip target drivers/input/ps2/pl050 because it requires pl050 Skip target drivers/input/ps2/x86 because it requires ps2 Skip target drivers/timer/codezero because it requires codezero Skip target drivers/timer/fiasco because it requires fiasco Skip target drivers/timer/foc because it requires foc Skip target drivers/timer/hw/omap4 because it requires hw omap4 Skip target drivers/timer/hw/pbxa9 because it requires hw_pbxa9 Skip target drivers/timer/hw/vea9x4 because it requires hw_vea9x4 Skip target drivers/timer/nova because it requires nova Skip target drivers/timer/okl4_arm because it requires okl4 arm Skip target drivers/timer/okl4_x86 because it requires okl4 Skip target drivers/timer/pistachio because it requires pistachio Library platform Library mini_c Library libz_static Library libpng_static Library syscall ... Program drivers/framebuffer/sdl/fb_sdl COMPILE fb_sdl.o COMPILE input.o LINK fb_sdl /usr/local/genode-gcc/bin/../lib/gcc/x86_64-elf/4.7.2/../../../../x86_64-elf/bin/ld: warning: libpulsecommon-2.1.so, needed by /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse-simple.so, not found (try using -rpath or -rpath-link) /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so: undefined reference to `pa_tagstruct_get_boolean' /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so: undefined reference to `pa_pdispatch_run' /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so: undefined reference to `pa_dbus_add_matches' /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so: undefined reference to `pa_memblockq_free' /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so: undefined reference to `pa_detect_fork' ... /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse-simple.so: undefined reference to `pa_log_level_meta' ... /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so: undefined reference to `pa_tagstruct_putu32' collect2: error: ld returned 1 exit status make[3]: *** [fb_sdl] Error 1 make[2]: *** [fb_sdl.prg] Error 2 make[1]: *** [gen_deps_and_build_targets] Error 2 make[1]: Leaving directory `/home/paul/Bureau/Genode/genode-12.11/build.lx' Error: Genode build failed make: *** [run/demo] Error 252 paul@...162...:~/Bureau/Genode/genode-12.11/build.lx$ pon

But libpulse-dev seems intalled: paul@...162...:~/Bureau/Genode/genode-12.11/build.lx$ apt-cache showpkg libpulse-dev Package: libpulse-dev Versions: 1:2.1-0ubuntu4 (/var/lib/apt/lists/ca.archive.ubuntu.com_ubuntu_dists_quantal_main_binary-amd64_Packages) (/var/lib/dpkg/status) Description Language: File: /var/lib/apt/lists/ca.archive.ubuntu.com_ubuntu_dists_quantal_main_binary-amd64_Packages MD5: a36e2b24ab289ab86564c79e92c8e87f Description Language: en File: /var/lib/apt/lists/ca.archive.ubuntu.com_ubuntu_dists_quantal_main_i18n_Translation-en MD5: a36e2b24ab289ab86564c79e92c8e87f Description Language: fr File: /var/lib/apt/lists/ca.archive.ubuntu.com_ubuntu_dists_quantal_main_i18n_Translation-fr MD5: a36e2b24ab289ab86564c79e92c8e87f

Reverse Depends: libpulse-dev:i386,libpulse-dev 1:2.1-0ubuntu4 libpulse-dev:i386,libpulse-dev 1:2.1-0ubuntu4 libpulse-ocaml-dev,libpulse-dev libgmtk-dev,libpulse-dev libfluidsynth-dev,libpulse-dev libsdl1.2-dev,libpulse-dev Dependencies: 1:2.1-0ubuntu4 - libpulse0 (5 1:2.1-0ubuntu4) libpulse-mainloop-glib0 (5 1:2.1-0ubuntu4) libglib2.0-dev (0 (null)) libavahi-client-dev (0 (null)) libpulse-dev:i386 (3 1:2.1-0ubuntu4) libpulse-dev:i386 (6 1:2.1-0ubuntu4) Provides: 1:2.1-0ubuntu4 - Reverse Provides: paul@...162...:~/Bureau/Genode/genode-12.11/build.lx$