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