genode/repos/gems
Martin Stein 53821a6285 depot_download.run: raise quotas for sel4
Give chroot and report_rom 2M instead of 1M to satisfy Sel4 on x86
64-bit.

Issue #2781
2018-05-03 15:31:22 +02:00
..
include os: add Text_painter::Font::height method 2018-04-19 13:38:33 +02:00
lib Copy-on-write VFS plugin 2018-04-19 12:38:51 +02:00
recipes depot_download.run: raise quotas for sel4 2018-05-03 15:31:22 +02:00
run depot_download.run: raise quotas for sel4 2018-05-03 15:31:22 +02:00
src depot_download_mgr: raise chroot quota for sel4 2018-05-03 15:31:22 +02: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.