tree 1b0b228d6188eb3be48ba7f876e3300753fdd6db
parent 89d1eee6f0b244774ddb006fd4abd4827f8ac8c5
author Jiyong Park <jiyong@google.com> 1639993252 +0900
committer Jiyong Park <jiyong@google.com> 1640694466 +0900

Run microdroid in protected mode

... but run in non-protected mode when

(1) on non-aarch64 architectures, or
(2) debug level is set to FULL

Bug: 210803811
Test: watch TH for all our tests
Change-Id: I4d33be8d560b14c2c2e3ce50605298ad58fbf42d