commit 3f9e59b40d7f56547e78cb1d2dd49ac905c8abc7
author Sam Leffler <sleffler@google.com> Tue Jul 25 18:06:26 2023 -0700
committer Sam Leffler <sleffler@google.com> Tue Jul 25 18:06:26 2023 -0700
tree cb3398bf0f5601e5261670b55c573cf3fa4cc154
parent f67f2151e6452191950d8044a2f4b9ab9fe87c47

sim:tests: track boot msg changes

Tock is less verbose; pick a different msg to verify the early bootstrap
completed.

Change-Id: Iff2e73f6bdb86ec2f3515e770f906c80865a8375

shodan_sel4test.robot

diff --git a/shodan_sel4test.robot b/shodan_sel4test.robot
index 0ccc573..a700aad 100644
--- a/shodan_sel4test.robot
+++ b/shodan_sel4test.robot
@@ -75,7 +75,7 @@
     ${sel4uart}=                Create Terminal Tester        ${UART5}
     Start Emulation
 
-    Wait For Line On Uart       load_sel4() completed successfully               testerId=${tockuart}
+    Wait For Line On Uart       SEC: Booting seL4 from TockOS app done!          testerId=${tockuart}
     Wait For Line On Uart       Booting all finished, dropped to user space      testerId=${sel4uart}
     Wait For Line On Uart       MCS configuration                                testerId=${sel4uart}
     Wait For Line On Uart       Starting test suite sel4test                     testerId=${sel4uart}