denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

doc: prevent line break between the* and *health*

Browse Source 
Fixes #3077
This commit is contained in:
Robin Eklind
2018-12-08 17:03:53 +01:00
committed by Norman Feske
parent 9c8e76b190
commit 6b35b9de00
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
doc/release_notes-18-11.txt
View File

@@ -35,8 +35,8 @@ obtain.
To improve the resilience of Genode systems that contain parts that are To improve the resilience of Genode systems that contain parts that are
known/expected to sometimes fail, e.g., because they depend on hugely complex known/expected to sometimes fail, e.g., because they depend on hugely complex
software stacks, the new release features the ability to *monitor* *the* software stacks, the new release features the ability to *monitor the health*
*health* of components (Section [Component health monitoring]). Using this new of components (Section [Component health monitoring]). Using this new
introspection mechanism, Genode systems become able to respond to such introspection mechanism, Genode systems become able to respond to such
conditions by restarting the affected component or by logging the event. conditions by restarting the affected component or by logging the event.