On Mon, Dec 9, 2019 at 12:16 PM Sergio Durigan Junior <sergi...@redhat.com> wrote: > > On Monday, December 09 2019, Siddhesh Poyarekar wrote: > > > On 09/12/19 9:14 pm, Sergio Durigan Junior wrote: > >> Hey, Siddhesh, > >> > >> I know you're in touch with Konstantin already, but another option would > >> be to use the OSCI VM running on gnutoolchain-gerrit.osci.io. I can > >> talk to the OSCI folks and ask them if it'd be possible to have an alias > >> hostname or something to make it easier to separate the services, if > >> needed. > > > > That works too, since Konstantin just confirmed that they cannot host > > this on kernel.org. > > Alright. I'll get in touch with OSCI. Please send me your public SSH > key so I can give you access to the machine.
Any news on this upgrade? Would be nice to play with patchwork for gdb. Christian