sim:tests: Update seL4 UART assignment
To match the new SMC UART assignment.
Tested with `./sim/tests/test.sh sim/tests/shodan_boot.robot`
Change-Id: I67e8aad19b15ed85d2677b577637a05a23730688
diff --git a/shodan_boot.robot b/shodan_boot.robot
index 9e146dc..e8c135c 100644
--- a/shodan_boot.robot
+++ b/shodan_boot.robot
@@ -14,6 +14,7 @@
${UART1} sysbus.uart1
${UART2} sysbus.uart2
${UART3} sysbus.uart3
+${UART5} sysbus.uart5
*** Keywords ***
Prepare Machine
@@ -30,7 +31,7 @@
Prepare Machine
Create Log Tester ${LOG_TIMEOUT}
${tockuart}= Create Terminal Tester ${UART0}
- ${sel4uart}= Create Terminal Tester ${UART1}
+ ${sel4uart}= Create Terminal Tester ${UART5}
Start Emulation
Wait For Line On Uart Booting sel4 from TockOS app done! testerId=${tockuart}