Hi Stefan,
whether networking works for the depot. I've prepared an untested
commit, which you could test out in your scenario by rebuilding the sculpt_manager. Here is the commit:
https://github.com/skalk/genode/commit/1eec61843905ef85c12be08c8405f7a04741a...
You can rebuild your sculpt image by tweaking the sculpt.run script to always compile and integrate the sculpt manager to incorporate the commit without the need to rebuild the whole package by applying this patch:
Thanks. I just used cherry-pick to apply the commit to my personal branch. Seems to work, I am able to download from the depot now, thanks!