On 2015-12-02 at 06:50 "'Davide Libenzi' via Akaros"
<[email protected]> wrote:
> Given a PID created with the sys_proc_run() API, and before running
> it, how can I assign a reserved CPU set to it?
sys_provision(pid, RES_CORES, pcore_id)
(interface subject to change)
when pid turns into an MCP, the first cores it gets will be those that
you provisioned to it.
barret
--
You received this message because you are subscribed to the Google Groups
"Akaros" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
For more options, visit https://groups.google.com/d/optout.
