Hi everyone,
I'm having some troubles in understanding how the concept of 'fills' and
'claims' of base-hw's scheduler [1] is expressed in the Xml syntax of
Init's configuration.
My concrete questions are:
* how does the syntax indicate, whether the threads of a component are
treated as fills or claims?
* do priorities affect the scheduling of fills?
The background of the second question is, that I'm confused by the
priority assignment in the run-script vmm_arm.run. I expected all
components to be fills and scheduled in a round-robin fashion. What is
the reason for assigning the priority -1 to the Vmm?
Best,
Chris Hofer
[1] 7.7.7 of Genode Foundations
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users
