ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
7260a16f67
genode/repos/gems/src/app
History
Norman Feske 5d9eb55274 driver manager: policy for 'default' block device 
If only a single AHCI device is present, the block service provided by
the drivers subsystem allows the client to refer to this block device
via the label 'default'.

Issue #2676
2018-02-15 10:22:10 +01:00
..
backdrop Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
cpu_load_display Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
decorator os: make 'Buffered_xml' util publicly available 2018-02-09 13:34:17 +01:00
depot_deploy depot_deploy: support multiple runtimes 2018-02-14 20:41:03 +01:00
depot_download_manager Depot-download subsystem 2018-02-09 14:04:17 +01:00
depot_query depot_deploy: support multiple runtimes 2018-02-14 20:41:03 +01:00
driver_manager driver manager: policy for 'default' block device 2018-02-15 10:22:10 +01:00
floating_window_layouter Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
launcher os: make 'Buffered_xml' util publicly available 2018-02-09 13:34:17 +01:00
menu_view base: add util/list_model.h 2018-02-09 13:34:17 +01:00
mixer_gui_qt Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
nano3d Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
themed_decorator Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00