7e3bcb1e39
If a client provides a read buffer of insufficient size for all available data, we have two options 1) Leave it to the client to do partial reads until not further data is available, or 2) Signal the client that there still some bytes on a partial read. As the second option seems more robust it's implemented in this commit. Fixes #1705 |
||
|---|---|---|
| .. | ||
| 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.