mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 07:46:42 +00:00
20f961cbd8
Until now, the CLI monitor and the laucher allowed the user to explitly kill subsystems but both used to ignore gracefully exiting subsystems. It was the user's job to remove the remains of those subsystems. The patch takes the burden of manually killing exited subsystems from the user. Fixes #1685 |
||
---|---|---|
.. | ||
include | ||
lib/mk | ||
run | ||
src | ||
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.