1*** Variables ***
2${UART}                       sysbus.uart0
3
4*** Keywords ***
5Create Machine
6    Execute Command          $elf=@https://dl.antmicro.com/projects/renode/zephyr-custom_k_busy_wait.elf-s_383952-e634ad4735a09c71058c885c75df67b8be827ce9
7    Execute Command          mach create
8    Execute Command          machine LoadPlatformDescription @platforms/cpus/sifive-fu740.repl
9    Execute Command          sysbus LoadELF $elf
10
11*** Test Cases ***
12Should Pass 10 Second Wait
13    [Documentation]          Tests enabling Zephyr mode, this test should execute in about 10-15 seconds real-time.
14
15    Create Machine
16    Create Terminal Tester    ${UART}
17    Execute Command          sysbus.s7 EnableZephyrMode
18    Start Emulation
19    Wait For Line On Uart    Waiting for 10 seconds...
20    # k_busy_wait isn't accurate enough to reliably wait for exactly 10 seconds
21    Wait For Line On Uart    Wait for 10 seconds completed  timeout=10.1
22