1 //
2 // Copyright (c) 2010-2024 Antmicro
3 //
4 // This file is licensed under the MIT License.
5 // Full license text is available in 'licenses/MIT.txt'.
6 //
7 using System.Collections.Generic;
8 
9 namespace Antmicro.Renode.Peripherals.CPU
10 {
11     public interface ICpuSupportingGdb : ICPUWithHooks, ICPUWithRegisters
12     {
EnterSingleStepModeSafely(HaltArguments args)13         void EnterSingleStepModeSafely(HaltArguments args);
14 
15         string GDBArchitecture { get; }
16         List<GDBFeatureDescriptor> GDBFeatures { get; }
17         bool DebuggerConnected { get; set; }
18     }
19 }
20 
21