tree 75637bcfae49c6fb2e0fa574e58f0d7ffe7f0bd3
parent 48929fdd883249a9e23c25a93307f3ba7b297a80
author David Brazdil <dbrazdil@google.com> 1582673430 -0800
committer Andrew Scull <ascull@google.com> 1582677632 -0800

Support custom boot address for primary VMs

A VM may be preloaded to a different address than the bottom of its
address space. Support providing a custom address to ERET to after
initialization. This is supported only for primary VMs for now.

Change-Id: I81bb43bf11a626d5fe8b5cdea6361b91d9eb5e46