On Tue, 9 Nov 2021, Pierre-Marie de Rodat via Gcc-patches wrote: > We found a SuSE kernel bug that affects 32-bit debugging on 64-bit > machines. We agreed to document the problem in gnat_ugn.
Late at catching this: Note that it's not been SuSE since 2003. Also even "SUSE 15" does not exist, I assume you mean "SUSE Linux Enterprise 15"? Would you mind adjusting this? Thank you, Gerald
