1*** Keywords ***
2Create Platform
3    Execute Command            using sysbus
4    Execute Command            mach create
5    # This line must use the "path" notation to handle paths with spaces
6    Execute Command            machine LoadPlatformDescription "${CURDIR}${/}nexys4ddr_litex_vexriscv.repl"
7    Execute Command            sysbus LoadBinary @https://dl.antmicro.com/projects/renode/nexys4ddr_litex_vexriscv--LiteX_BIOS.bin-s_24596-e36b0274a43f416295c6150f0f6fe9070c248761 0x0
8    Execute Command            machine SdCardFromFile @https://dl.antmicro.com/projects/renode/fat16_sdcard.image-s_64000000-8a919aa2199e1a1cf086e67546b539295d2d9d8f spisdcard 0x100000000 False
9
10    Execute Command            cpu PC 0x0
11
12
13*** Test Cases ***
14Should Boot
15    Create Platform
16    Create Terminal Tester     sysbus.uart
17    Execute Command            showAnalyzer sysbus.uart
18
19    Start Emulation
20
21    Wait For Line On Uart      Press Q or ESC to abort boot completely.
22    # send Q
23    Send Key To Uart           0x51
24
25    Wait For Prompt On Uart    litex>
26
27    Provides                   booted-image
28
29Should List Readme File
30    Requires                   booted-image
31
32    Write Line To Uart         spisdcardboot
33
34    Wait For Line On Uart      SD Card via SPI Initialising
35    Wait For Line On Uart      Read FAT16 Boot Sector
36    Wait For Line On Uart      [mkfs.fat]
37    Wait For Line On Uart      Root Directory
38    Wait For Line On Uart      File 1 [README${SPACE*2}.TXT]
39