*** Keywords ***
Create Platform
    Execute Command            using sysbus
    Execute Command            mach create
    # This line must use the "path" notation to handle paths with spaces
    Execute Command            machine LoadPlatformDescription "${CURDIR}${/}nexys4ddr_litex_vexriscv.repl"
    Execute Command            sysbus LoadBinary @https://dl.antmicro.com/projects/renode/nexys4ddr_litex_vexriscv--LiteX_BIOS.bin-s_24596-e36b0274a43f416295c6150f0f6fe9070c248761 0x0
    Execute Command            machine SdCardFromFile @https://dl.antmicro.com/projects/renode/fat16_sdcard.image-s_64000000-8a919aa2199e1a1cf086e67546b539295d2d9d8f spisdcard 0x100000000 False

    Execute Command            cpu PC 0x0


*** Test Cases ***
Should Boot
    Create Platform
    Create Terminal Tester     sysbus.uart
    Execute Command            showAnalyzer sysbus.uart

    Start Emulation

    Wait For Line On Uart      Press Q or ESC to abort boot completely.
    # send Q
    Send Key To Uart           0x51
    
    Wait For Prompt On Uart    litex>

    Provides                   booted-image

Should List Readme File
    Requires                   booted-image

    Write Line To Uart         spisdcardboot

    Wait For Line On Uart      SD Card via SPI Initialising
    Wait For Line On Uart      Read FAT16 Boot Sector
    Wait For Line On Uart      [mkfs.fat]
    Wait For Line On Uart      Root Directory
    Wait For Line On Uart      File 1 [README${SPACE*2}.TXT]