Oops. Apologies, message got sent before I finished. The error is this

genode build completed
spawn ./core
Genode 15.02-295-g5d5e6d0
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 17592186044415 MB to init
int main(): --- init created, waiting for exit condition ---
[init] Could not open ROM session for module "ld.lib.so"
[init] Dynamically linked file found, but no dynamic linker binary present
[init] Dynamically linked file found, but no dynamic linker binary present

All shared objects are present in bin/ and I've added them to both boot_modules and build_boot_image.
What's the dynamic linker binary that needs to be present? (ld is part of bin)

Thanks,
Aditya

On Sun, May 10, 2015 at 1:41 PM, Aditya Kousik <adit267.kousik@...9...> wrote:
Hello,

I'm trying to run a modified version of the hello_tutorial to test some libraries that I've recently ported. While I am able to build the binaries, and the boot image, init gives me the following error: