*** Variables ***
${ZEPHYR_GENERIC_BIN}           @https://dl.antmicro.com/projects/renode/frdm_k64f--zephyr-fpu_sharing_generic.elf-s_861928-bef2795db6dd11f8106387ff6c6afd35686c48de

*** Test Cases ***
Should Pass Zephyr FPU Sharing Generic Tests
    Execute Command             mach create
    Execute Command             machine LoadPlatformDescription @platforms/cpus/nxp-k6xf.repl
    Create Terminal Tester      sysbus.uart0
    Execute Command             sysbus LoadELF ${ZEPHYR_GENERIC_BIN}

    Start Emulation
    ${result}=                  Wait For Line On Uart  PROJECT EXECUTION (SUCCESSFUL|FAILED)  timeout=32  treatAsRegex=true
    Should Contain              ${result.line}  SUCCESSFUL