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.
