tree ff62872ee84e0dbb7834f078904e3d44329b66ce
parent 49591f2d1cb649fd754f5d800b7ca0554f444d8e
author Cindy Liu <hcindyl@google.com> 1642759433 -0800
committer Cindy Liu <hcindyl@google.com> 1642759433 -0800

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