Lines Matching refs:Execute
4 Execute Command using sysbus
5 Execute Command mach create "zynq7000"
6 Execute Command machine LoadPlatformDescription @platforms/cpus/zynq-7000.repl
7 …Execute Command sysbus LoadELF @https://dl.antmicro.com/projects/renode/seL4-zynq7000--camk…
8 …Execute Command sysbus LoadSymbolsFrom @https://dl.antmicro.com/projects/renode/seL4-zynq70…
9 Execute Command EnsureTypeIsLoaded "Antmicro.Renode.Peripherals.CPU.ARMv7A"
10 Execute Command EnsureTypeIsLoaded "Antmicro.Renode.Peripherals.CPU.RiscV32"
11 Execute Command include @tools/sel4_extensions/seL4Extensions.cs
12 Execute Command cpu CreateSeL4
19 Execute Command seL4 BreakOnNamingThread "rootserver"
21 ${thread}= Execute Command seL4 CurrentThread
24 Execute Command seL4 SetTemporaryBreakpoint "rootserver"
25 Execute Command cpu ExecutionMode Continuous
27 ${thread}= Execute Command seL4 CurrentThread
30 Execute Command seL4 BreakOnExittingUserspace Once
31 Execute Command cpu ExecutionMode Continuous
33 ${thread}= Execute Command seL4 CurrentThread