genode

mirror of https://github.com/genodelabs/genode.git synced 2025-03-03 21:20:41 +00:00

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

include

depot_query: move 'Archive' utils to include/depot

2018-01-17 12:14:38 +01:00

lib

Exclude higher-level repos from strict warnings

2018-01-17 12:14:36 +01:00

recipes

depot: recipe for src/depot_deploy

2018-02-14 20:41:04 +01:00

run

depot_deploy: support multiple runtimes

2018-02-14 20:41:03 +01:00

src

driver manager: policy for 'default' block device

2018-02-15 10:22:10 +01:00

README

Remove repos/qt4, fix #1451

2015-03-19 08:57:20 +01:00

README

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.