On 2016-08-05 at 21:20 'Christopher Koch' via Akaros wrote: > Hi, > > Barret - please give a review and don't apply the patches yet.
Will do. > What's a good place to put the gdbserver docs publicly? Github wiki > associated with the repo? Text file in Documentation/? Documentation sounds good to me. You can start a debugging.txt and put a GDB section in there, or just create a gdb.txt. Your choice. For a template, check out Documentation/profiling.txt. 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.
