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 <josef.soentgen@genode-labs.com>
Sent: Tuesday, July 8, 2025 3:49 PM
To: Genode users mailing list <users@lists.genode.org>
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/