Johannes.Kliemann at ...250...
Tue Oct 24 11:27:12 CEST 2017
while booting Genode directly on Linux I encountered the problem that
Linux requires to call `/init` in the initramfs. Unfortunately Genode
requires to call `core` which loads `init` so renaming core to init
I renamed init to init2 core to init and called it with "label=init2"
which works at first (core finds all ROM sessions) but then segfaults
with "init2: segfault at 7f11c473b128 ip 00007f11c4645f40 sp
00007ffc1c8c15f8 error 4 in ld.lib.so[7f11c45c5000+95000]" and the
warning "Warning: blocking canceled in entrypoint constructor".
This warning was addressed on Linux before in  and fixed in
ad2859b6b9dae96c48329eebc0a73527ba4deb9b. I have already included this
To boot Genode on Linux with this behaviour, checkout  and change
"KERNEL_RUN_OPT(linux) := --include power_on/linux --include log/linux"
"KERNEL_RUN_OPT(linux) := $(QEMU_RUN_OPT)"
in your etc/build.conf (with linux as kernel ofc).
Beside renaming I also tried to make the ROM session chdir into a sub
directory or to prepend this directory to the binary name. Neither of
made Genode correctly find the binaries. I have to say that Linux is not
booting into a real fs but is using a initramfs which consists of a cpio
What would be the way to go to either rename the binaries to a Linux
compatible scheme or to change the library search to find its binaries
in a cpio archive (both options should be changeable at build time to
still use the current linux)?
More information about the users