On 10 Oct 2012, at 15:49, Marcus Shawcroft <Marcus.Shawcroft@arm.com> wrote: > Revised patch addressing feedback received from Joseph regarding > inappropriate PTRACE_* definitions. Ping. /Marcus