sim:tests: Fix seL4 boot message check

Change-Id: I62693ba683b1cae19b0cbe88d68d85d91bd3edb9
1 file changed
tree: 06625fffc3ef50e13f84444d2ba386949c3f52b8
  1. shodan_boot.robot
  2. test.sh