Add robot scripts for testing boot of Tock OS.
Change-Id: I07f74e71aef03aa02672528436ace5297d861ddb
diff --git a/shodan_tock_test.robot b/shodan_tock_test.robot
new file mode 100644
index 0000000..675cddf
--- /dev/null
+++ b/shodan_tock_test.robot
@@ -0,0 +1,35 @@
+
+*** Settings ***
+Suite Setup Setup
+Suite Teardown Teardown
+Test Setup Reset Emulation
+Library DebugLibrary
+Resource ${RENODEKEYWORDS}
+
+*** Variables ***
+${BOOTROM_ELF} @${PATH}/out/shodan/build-bin/sw/device/boot_rom/boot_rom_sim_verilator.elf
+${SHODAN_SECURE_REPL} @${PATH}/sim/config/shodan_secure.repl
+${TOCK_TEST} @${PATH}/out/tock/riscv32imc-unknown-none-elf/release/earlgrey-nexysvideo.elf
+${UART} sysbus.uart
+
+*** Keywords ***
+Create Machine
+ [Arguments] ${elf}
+
+ Execute Command mach create
+ Execute Command machine LoadPlatformDescription @${SHODAN_SECURE_REPL}
+ Execute Command sysbus LoadELF @${BOOTROM_ELF}
+ Execute Command sysbus LoadELF @${elf}
+ Execute Command sysbus.cpu_0 PC 0x8084
+
+
+*** Test Cases ***
+
+Tock Test
+ Create Machine ${TOCK_TEST}
+
+ Create Terminal Tester ${UART}
+
+ Start Emulation
+ Wait For Line On Uart Boot ROM initialisation has completed, jump into flash! timeout=1
+ Wait For Line On Uart OpenTitan initialisation complete timeout=1
diff --git a/shodan_unit_tests.robot b/shodan_unit_tests.robot
index 4b1d89e..80fe7bb 100644
--- a/shodan_unit_tests.robot
+++ b/shodan_unit_tests.robot
@@ -12,6 +12,7 @@
${UART_SANITY_TEST} @${PATH}/out/shodan/build-out/sw_shodan/device/tests/dif_uart_sanitytest_sim_verilator.elf
${UART_TX_RX_TEST} @${PATH}/out/shodan/build-out/sw_shodan/device/tests/uart_tx_rx_test_sim_verilator.elf
${PLIC_SANITY_TEST} @${PATH}/out/shodan/build-out/sw_shodan/device/tests/dif_plic_sanitytest_sim_verilator.elf
+${TOCK_TEST} @${PATH}/out/tock/riscv32imc-unknown-none-elf/release/earlgrey-nexysvideo.elf
${UART} sysbus.uart
*** Keywords ***
@@ -58,3 +59,12 @@
Start Emulation
Wait For Line On Uart Boot ROM initialisation has completed, jump into flash! timeout=1
Wait For Line On Uart PASS! timeout=1
+
+Tock Test
+ Create Machine ${TOCK_TEST}
+
+ Create Terminal Tester ${UART}
+
+ Start Emulation
+ Wait For Line On Uart Boot ROM initialisation has completed, jump into flash! timeout=1
+ Wait For Line On Uart OpenTitan initialisation complete timeout=1
