Hello Harm, may you please cherry-pick following commit and post the output until "int main(): --- create local services ---".
Thanks, Alex. [0] https://github.com/alex-ab/genode/commit/92b021bc0508edc34d056a59cd54b17d251930a8 ------------------------------------------------------------------------------ _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
