*** 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