mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-23 20:45:35 +00:00
This patch introduces two caches to the depot-query tool. - A stat cache remembers the results of 'Directory::file_exists' calls. - The 'Cached_rom_query' caches the result of scanning the depot for a given ROM module and pkg path. To elminates the need to parse 'archive' files of pkgs referenced from other pkgs or for the repeated instantation of the same pkg. Both caches are bypassed whenever referring to the 'local' depot user. Fixes #3427