mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 00:24:51 +00:00
46eb175b17
This patch replaces the generic "In progress..." message by slightly more concrete information about the type of operation. This is useful to distinguish the two steps during the expansion of a partition.
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.