On 2015-11-30 at 11:43 "'Davide Libenzi' via Akaros"
<[email protected]> wrote:
> Is including <sched.h> and using cpu_set_t OK, or do we have to move
> core_set.h to ros/?

I think using sched.h is okay.  It's in our toolchain headers already
and I think we have a couple other things using it.

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