27 Nov
2015
27 Nov
'15
12:20 p.m.
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/92b021bc0508edc34d056a59cd54b17d251...