On Tue, 12 May 2020, Simon Marchi via Gdb-patches wrote: > - tic6x (I don't think it was ever supported upstream. Looking at this [1], there doesn't > seem to be development since ~2012) I've no idea whether Linux on C6x is actively maintained, but the port is there in arch/c6x/. -- Joseph S. Myers joseph@codesourcery.com