| *** Variables *** |
| ${ZEPHYR_BINARY} @https://dl.antmicro.com/projects/renode/systemc-examples-zephyr-interrupts-stm32f401_mini.elf-s_573712-209c153accbf90335274ee5ae16eb9abb74d7808 |
| ${SYSTEMC_BINARY} @https://dl.antmicro.com/projects/renode/x64-systemc--interrupts.elf-s_1017672-89c2d9745bc1fbc82c3ee727ae0d248415ed6d35 |
| ${PLATFORM} @tests/platforms/systemc/interrupts/interrupts.repl |
| ${UART} sysbus.usart1 |
| |
| *** Keywords *** |
| Create Machine |
| Execute Command mach create |
| Execute Command machine LoadPlatformDescription ${PLATFORM} |
| Execute Command sysbus LoadELF ${ZEPHYR_BINARY} |
| Execute Command sysbus.systemc SystemCExecutablePath ${SYSTEMC_BINARY} |
| |
| *** Test Cases *** |
| Should Invoke Interrupt Handlers Initiated By SystemC |
| [Tags] skip_windows skip_osx |
| Create Machine |
| Create Terminal Tester ${UART} |
| Start Emulation |
| |
| Wait For Line On Uart Interrupt handler for interrupter 0 (every 1 second) |
| Wait For Line On Uart Interrupt handler for interrupter 1 (every 3 seconds) |