Searched refs:CreateSeL4 (Results 1 – 3 of 3) sorted by relevance
21 correct CPU, which can be done using `cpu CreateSeL4` command in Renode. Lastly, the Renode-GDB glu…24 $ gdb-multiarch -ex 'target remote :3333' -ex 'monitor cpu CreateSeL4' \
23 …public static void CreateSeL4(this ICpuSupportingGdb @this, ulong? debugThreadNameSyscallId = null) in CreateSeL4() method in Antmicro.Renode.Debug.SeL4Extensions
12 Execute Command cpu CreateSeL4
