sculpt: adjust nitpicker priority

Move nitpicker to the driver priority in the runtime to lessen
interference with high-priority runtime components.

Issue genodelabs/genode#5167.
This commit is contained in:
Josef Söntgen 2024-03-27 15:35:37 +01:00 committed by Christian Helmuth
parent a6b8d382a9
commit b9c8c8c2a5

View File

@ -435,7 +435,7 @@ install_config {
</provides>
</start>
<start name="nitpicker" caps="1000" priority="0">
<start name="nitpicker" caps="1000" priority="-1">
<resource name="RAM" quantum="12M"/>
<resource name="CPU" quantum="10"/>
<provides>