Hello Alex, Sorry for the long time to replay.
I finally had time to debug the problem again and found the error.The `<AttachedDevice>` for the second disk was configured to be `port="0" device="1"` instead of `port="1" device="0"`
Now the virtual machine works like a charm. Many thanks for your help, Pirmin _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
