On Thu, 7 Mar 2019 at 20:12, Richard Henderson <richard.hender...@linaro.org> wrote: > > This was working toward fixing > > https://bugs.linaro.org/show_bug.cgi?id=4274 > > although I don't think I'm entirely successful. I would argue, > however, that gdb's behaviour in this is odd. Why are registers > that are clearly marked "system" being added to "general" simply > because they have integer type?
Yeah, this does seem to me like it might be a bug on gdb's end -- are you following up with them? > In the meantime, we don't really need to present these registers > to the user for CONFIG_USER_ONLY. Reasonable enough, I guess, though a few sysregs are visible to EL0. thanks -- PMM