mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 15:32:25 +00:00
677c8e828c
This patch enhances the depot_download subsystem with support for downloading and querying system images. The installation ROM support the following two now download types: <image_index path="<user>/image/index"/> <image path="<user>/image/<name>"/> Internally, the depot-download subsystem employs the depot-query component to determine the missing depot content. This component accepts the following two new queries: <images user="..."/> <image_index user="..."/> If present in the query, depot_query generates reports labeled as "images" and "image_index" respectively. The also tracks the completion of each job depending on the depot- query results, so that the final report contains a result for each installation item requested. Prior this patch, the inactivity of the depot-download manager (indicated by an empty state report) was interpreted as success. But that prevents the proper association of results and requested installation items. Issue #4744 |
||
|---|---|---|
| .. | ||
| depot_download | ||
| download_coreplus | ||
| drivers_managed-pc | ||
| drivers_nic-pc | ||
| fonts_fs | ||
| genode_bg | ||
| motif_wm | ||
| sticks_blue_backdrop | ||
| terminal | ||
| themed_wm | ||
| touch_keyboard | ||
| trace_recorder | ||
| window_layouter | ||
| wm | ||