tree c38c2469d506a77ebe39e3eb52c3cb7f154b6faa
parent ef892264006a96ecfda63174fd4cd332b0503d86
author Andrew Scull <ascull@google.com> 1570018847 +0100
committer Andrew Scull <ascull@google.com> 1570032328 +0100

Distinguish device and normal memory.

The large address space mapped to the primary is marked as device
memory. The normal memory is then specifically marked based on the
`memory` nodes in the manifest.

Sharing is restricted to normal memory as sharing device memory is
dangerous without full device reassignment.

Change-Id: I117d621342bae89a35cde33e3a6e59e56add9a5c