I would rename "gdbjit" to "gdb" as the JITLoaderGDB plug-in name, and then submit this. Nice patch. Greg On Mar 4, 2014, at 1:12 AM, Andrew MacPherson <andrew.macp at gmail.com> wrote: > <linux-jit.2.patch>