blob: 5d369d9b9cbb15184a0874721a8bdc3712189d8a [file] [log] [blame]
Henry Herman61768832021-09-14 23:06:10 +00001*** Settings ***
2Suite Setup Setup
3Suite Teardown Teardown
4Test Setup Reset Emulation
5Test Teardown Test Teardown
6Resource ${RENODEKEYWORDS}
7
8*** Variables ***
9${LOG_TIMEOUT} 1
10${ROOTDIR} @${CURDIR}/../..
11${SCRIPT} sim/config/shodan_all.resc
12${PROMPT} KATA>
13${UART0} sysbus.uart0
14${UART1} sysbus.uart1
15${UART2} sysbus.uart2
16${UART3} sysbus.uart3
17
18*** Keywords ***
19Prepare Machine
20 Execute Command path set ${ROOTDIR}
21 Execute Script ${SCRIPT}
22 Execute Command cpu0 IsHalted false
23 Execute Command cpu1 IsHalted false
24 Set Default Uart Timeout 300
25
26
27*** Test Cases ***
28Shodan Smoke Test
29 [Documentation] Test TockOS boot, seL4 boot and ML Execution
30 [Tags] ml tock seL4 uart
31 Prepare Machine
32 Create Log Tester ${LOG_TIMEOUT}
33 ${tockuart}= Create Terminal Tester ${UART0}
34 ${sel4uart}= Create Terminal Tester ${UART1}
35 Start Emulation
36
37 Wait For Line On Uart OpenTitan initialisation complete. testerId=${tockuart}
38 Wait For Line On Uart Booting all finished, dropped to user space testerId=${sel4uart}
39 Wait For Prompt On Uart ${PROMPT} testerId=${sel4uart}
40 Write Line To Uart test_mlexecute testerId=${sel4uart}
41 Wait For Prompt On Uart ${PROMPT} testerId=${sel4uart}
42 Wait For LogEntry "main returned: ", 0