Searched refs:SeL4DebugHelper (Results 1 – 1 of 1) sorted by relevance
25 …onManager.Instance.CurrentEmulation.ExternalsManager.AddExternal(new SeL4DebugHelper(@this, debugT… in CreateSeL4()29 public class SeL4DebugHelper : IExternal class31 public SeL4DebugHelper(ICpuSupportingGdb cpu, ulong? debugThreadNameSyscallId) in SeL4DebugHelper() method in Antmicro.Renode.Debug.SeL4DebugHelper
