On Wed, Apr 10, 2024 at 4:07 PM Luca Vizzarro <luca.vizza...@arm.com> wrote: > > On 10/04/2024 14:35, Juraj Linkeš wrote: > > We should also consider that this would introduce a difference in API > > between the interactive and non-interactive sessions. Do we want to do > > this there as well? > > Could definitely add it there as well. You are referring to > RemoteSession I presume, right?
Yes.