Actually, looking a little closer, the fix is pretty easy: https://github.com/brho/akaros/compare/1ed63f9...a4a554e
I'll defer to Barret to check if I missed anything. On Wed, Nov 11, 2015 at 6:51 PM, 'Davide Libenzi' via Akaros <[email protected]> wrote: > OK, thanks Kevin. > > > On Wed, Nov 11, 2015 at 6:43 PM, Kevin Klues <[email protected]> wrote: >> >> Well, this particular bug comes from the fact that we never set up an >> mbox for vcore0 if max_vcores() == 0 (which it is if you only give the >> machine 1 core). >> >> https://github.com/brho/akaros/blob/master/user/parlib/vcore.c#L175 >> >> I have feeling that there are more consequences than this though. >> >> On Wed, Nov 11, 2015 at 6:28 PM, 'Davide Libenzi' via Akaros >> <[email protected]> wrote: >> > I get this when I try to run Akaros (run bb from ^G, that is) on a >> > single >> > core mode. >> > Is it expected? >> > >> > >> > -- >> > 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. >> >> >> >> -- >> ~Kevin >> >> -- >> 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. -- ~Kevin -- 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.
