On 2015-11-12 at 09:30 Kevin Klues <[email protected]> wrote: > By the way, this is on a branch called > klueska/always-init-vcore0s-mbox
that fixes davide's bug, but there are a host of others just like it, due to the how userspace SCPs think they have a vcore, and max_vcores() tells them how many. i put together a fix, patch forthcoming. let me know if you see anything wrong with it. thanks, 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.
