Any news on this one?
On Fri, Nov 13, 2015 at 3:10 PM, Davide Libenzi <[email protected]> wrote: > Yes, the changes the were agreed, I made them on the same commits. > This is what I have been told to do. > > > On Fri, Nov 13, 2015 at 3:05 PM, Barret Rhoden <[email protected]> > wrote: > >> On 2015-11-13 at 14:52 "'Davide Libenzi' via Akaros" >> <[email protected]> wrote: >> > Here it is: >> > >> > >> https://github.com/dlibenzi/akaros/blob/user_memory_access_v2/kern/arch/riscv/uaccess.h >> >> Ah, I see what the problem was. >> >> These are the patches I see on your branch that differ from master >> (basically the (FROM, TO] for user_memory_access_v2): >> >> | * cc1afbf22dcd (dlibenzi/user_memory_access_v2) Tabified file >> carrying spaces (Davide Libenzi) >> | * e18edccd6eb4 Migrated user memory copy APIs to use the new >> exception table guards (Davide Libenzi) >> | * 6c983def2b27 Avoid double declarations, integer overflow, and >> use branch hints (Davide Libenzi) >> | * fa2a6c79d8a5 Added new kernel test case (Davide Libenzi) >> | * 6cc759554b02 Plugged the exception handling code (Davide >> Libenzi) >> >> The bottom 3 from that list (Avoid, Addded, and Plugged) were already >> added to master: >> >> * | 2a9b3cdc47db Avoid double declarations, integer overflow, and >> use branch hints (Davide Libenzi) >> * | 40ad9f1f5f48 Added new kernel test case (Davide Libenzi) >> * | c7c7f1ceb352 Plugged the exception handling code (Davide >> Libenzi) >> >> "Plugged" is the one that now has the riscv header. >> >> I'll work some git magic on 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.
