Thanks, Josef that did it! I just have a quick follow-up question. Currently when I run `/genode/tool/depot/create rumen/bin/x86_64/vfs_lwext4` the depot is created in /genode/depot/. However, my project is located in /genode/repos/snapper, which has its own depot-dir in /genode/repos/snapper/var/depot. So to make the the `goa run` command work I had to add the /genode/depot path to the /goarc's allowed_paths. I then have to copy the genodelabs "pubkey" file and the genodelabs "download" file from /genode/repos/snapper/var/depot/genodelabs to /genode/depot/genodelabs.
Is there a way to force `/genode/tool/depot/create rumen/bin/x86_64/vfs_lwext4` to create the depot into /genode/repos/snapper as opposed to in /genode? That way I do not have to fiddle with the extra files. Best, Rumen ________________________________ From: Josef Söntgen <[email protected]> Sent: Tuesday, July 8, 2025 3:49 PM To: Genode users mailing list <[email protected]> Subject: Re: Using the Lwext4 Project with Goa CAUTION: This email originated from outside the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe. Hello Rumen, > Unfortunately, when I try adding the aforementioned path in my > `<project>/pkg/<project>/archives` file, I get the following error: > "Error: invalid depot-archive path > '_/_/_/wundertuete/recipes/src/vfs_lwext4'". > > Could someone kindly let me if I am missing or misunderstood > something? I do not need the lwext4 library itself, only the > integration of it into the VFS. You have to reference archives from within your depot in goa. The recipes are merely there to build depot archives with the depot tools. So you need to build these archives yourself and reference them within the 'archives' file, e.g. ① ./tool/depot/create … rumen/bin/x86_64/vfs_lwext4 ② adding 'rumen/src/vfs_lwext4' to 'archives' where the archives are then located in the depot directory you specified in your goa configuration. Best regards, Josef -- Josef Söntgen Genode Labs http://www.genode-labs.com/ · http://genode.org/
_______________________________________________ users mailing list -- [email protected] To unsubscribe send an email to [email protected] Archived at https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/JT4ZPPUESTAJFWNDUITAT2N6GXPQLCST/
