1*** Keywords ***
2Create Machine
3    [Arguments]                     ${binary}
4    Execute Command                 mach create
5    Execute Command                 machine LoadPlatformDescription @platforms/boards/stm32f4_discovery-kit.repl
6    Execute Command                 sysbus LoadELF @${binary}
7    Create Terminal Tester          sysbus.usart2
8
9Run Test
10    [Arguments]                     ${binary}
11    Create Machine                  ${binary}
12    Start Emulation
13    Wait for Line On Uart           PROJECT EXECUTION SUCCESSFUL
14
15*** Test Cases ***
16Should Pass Zephyr mem_protect Test
17    Run Test                        https://dl.antmicro.com/projects/renode/stm32f4_disco--zephyr-mem_protect.elf-s_1418612-2dce5412be6959ebb19a6ca9c1e61c700fc6517d
18
19Should Pass Zephyr protection Test
20    Run Test                        https://dl.antmicro.com/projects/renode/stm32f4_disco--zephyr-protection.elf-s_555424-ba244b9f0b1ee5bf2efcfc1b619b480d76553e9c
21
22Should Pass Zephyr stackprot Test
23    Run Test                        https://dl.antmicro.com/projects/renode/stm32f4_disco--zephyr-stackprot.elf-s_1301048-1b874b2d7d744113b06f48ef50bd857c3a3bb767
24
25Should Pass Zephyr userspace Test
26    Run Test                        https://dl.antmicro.com/projects/renode/stm32f4_disco--zephyr-userspace.elf-s_1287304-684a0dad9e1b5ca94fe5cf224a13067113dbdfa3
27