Just a heads up: gdb can't debug the vdso on 3.16-rc1. I filed a bug:https://sourceware.org/bugzilla/show_bug.cgi?id=17064We may need to extend the fake section header hack to all vdsoversions and stick the ELF notes in there.hpa, can I depend on an x32 toolchain for the x32 build?--Andy