35 lines
1.8 KiB
Plaintext
35 lines
1.8 KiB
Plaintext
|
*** Keywords **
|
||
|
|
|
||
|
|
Prepare Platform
|
||
|
|
Execute Command using sysbus
|
||
|
|
Execute Command mach create "zynq7000"
|
||
|
|
Execute Command machine LoadPlatformDescription @platforms/cpus/zynq-7000.repl
|
||
|
|
Execute Command sysbus LoadELF @https://dl.antmicro.com/projects/renode/seL4-zynq7000--camkes_adder_image-s_2996636-7f022f0d406eb8aa97854c724222cbebdc0baa2a
|
||
|
|
Execute Command sysbus LoadSymbolsFrom @https://dl.antmicro.com/projects/renode/seL4-zynq7000--camkes_adder_kernel-s_955080-1b84b2deb5c9d96d50ce3cca13a1e2df8fcb027a
|
||
|
|
Execute Command EnsureTypeIsLoaded "Antmicro.Renode.Peripherals.CPU.ARMv7A"
|
||
|
|
Execute Command EnsureTypeIsLoaded "Antmicro.Renode.Peripherals.CPU.RiscV32"
|
||
|
|
Execute Command include @tools/sel4_extensions/seL4Extensions.cs
|
||
|
|
Execute Command cpu CreateSeL4
|
||
|
|
|
||
|
|
*** Test Cases ***
|
||
|
|
|
||
|
|
Should Break On Rootserver Thread And Then Exit To Kernel
|
||
|
|
Prepare Platform
|
||
|
|
|
||
|
|
Execute Command seL4 BreakOnNamingThread "rootserver"
|
||
|
|
Run Until Breakpoint 1
|
||
|
|
${thread}= Execute Command seL4 CurrentThread
|
||
|
|
Should Contain ${thread} kernel
|
||
|
|
|
||
|
|
Execute Command seL4 SetTemporaryBreakpoint "rootserver"
|
||
|
|
Execute Command cpu ExecutionMode Continuous
|
||
|
|
Run Until Breakpoint 1
|
||
|
|
${thread}= Execute Command seL4 CurrentThread
|
||
|
|
Should Contain ${thread} rootserver
|
||
|
|
|
||
|
|
Execute Command seL4 BreakOnExittingUserspace Once
|
||
|
|
Execute Command cpu ExecutionMode Continuous
|
||
|
|
Run Until Breakpoint 1
|
||
|
|
${thread}= Execute Command seL4 CurrentThread
|
||
|
|
Should Contain ${thread} kernel
|