If you want to add a new depot source, you currently have to manually create/copy the depot directory with the public key and download source. Currently, the depot sources to copy are hardcoded into repos/gems/src/app/sculpt_manager/runtime/prepare.cc, so in order to automatically copy them over when selecting which filesystem to use, you'd need to modify that file. I'm not entirely sure why they're hardcoded, but it's easy enough to copy the directory over yourself. For my depot, for example, you'd just need to type into a noux bash terminal "cp -r /shared/depot/blarson /rw/depot". Or you can copy all of them over using "cp -r /shared/depot /rw". Before this, you'll have to have the depot inside genode/depot for it to be included in the sculpt image.