OK, thanks!
I was looking at parlib, and did not find anything there.

On Wed, Dec 2, 2015 at 7:01 AM, Barret Rhoden <[email protected]> wrote:

> 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.
>

-- 
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.

Reply via email to