genode/repos/gems
Norman Feske 866e84ec49 depot_query: supplement url to scanned user
The 'scan' query for depot users used to list the names of depot users.
However, the URL and existence of a pubkey is useful to know when
assembling a GUI menu from this list.

Issue #4744
2023-02-27 08:22:46 +01:00
..
include Don't use deprecated Readonly_file::read variants 2023-02-27 08:22:46 +01:00
lib libs: use select_from_ports in eager assignments 2022-11-17 08:00:34 +01:00
ports port/cbe: update to newest version 2022-02-15 10:23:15 +01:00
recipes depot: update recipe hashes 2023-01-24 12:07:33 +01:00
run sculpt_image.run script for creating system images 2023-02-27 08:22:46 +01:00
sculpt acpica: add dependency on acpi device 2023-01-24 12:09:19 +01:00
src depot_query: supplement url to scanned user 2023-02-27 08:22:46 +01:00
README Remove repos/qt4, fix #1451 2015-03-19 08:57:20 +01:00

This directory is a source-code repository containing Genode-specific
services and applications. In contrast to the components that come with
the 'os' repository, programs contained in 'gems' are able to leverage
the functionalities provided by higher-level repositories such as 'libports'.
To use the 'gems' repository, make sure to also add those repositories to your
build configuraion.