Henry Herman | 6176883 | 2021-09-14 23:06:10 +0000 | [diff] [blame^] | 1 | *** Settings *** |
| 2 | Suite Setup Setup |
| 3 | Suite Teardown Teardown |
| 4 | Test Setup Reset Emulation |
| 5 | Test Teardown Test Teardown |
| 6 | Resource ${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 *** |
| 19 | Prepare 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 *** |
| 28 | Shodan 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 |