mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-14 16:26:30 +00:00
Instatiate a separate pager thread for each cpu core. Every time a pager object gets managed by the Pager_entrypoint, assign it to the pager thread on the same cpu core. Ref genodelabs/genode#5318