tree 06625fffc3ef50e13f84444d2ba386949c3f52b8
parent b150f451d28b3f4de73a25f2d14c6ba4f9d68e56
author Cindy Liu <hcindyl@google.com> 1643913647 -0800
committer Cindy Liu <hcindyl@google.com> 1643913647 -0800

sim:tests: Fix seL4 boot message check

Change-Id: I62693ba683b1cae19b0cbe88d68d85d91bd3edb9