commit | 0ee65395b6fb925a5b74723b5961566c48ecf1ec | [log] [tgz] |
---|---|---|
author | Jiyong Park <jiyong@google.com> | Mon Mar 27 20:52:45 2023 +0900 |
committer | Jiyong Park <jiyong@google.com> | Mon Mar 27 22:33:10 2023 +0900 |
tree | a49ae2aaaa76ad1399f69dcefc33037af6e316ae | |
parent | e9d87e8cd7b58403552e01450ef7cb2624581692 [diff] |
Check if pci range is within platform memory range Also update the platform memory range to 0x100_0000_0000 (0x1<<40) to correctly reflect the 40-bit IPA. Bug: 249054080 Test: TH Change-Id: Id00558a5e450c5d395a595d38c5c4fa573718f3f
This repository contains userspace services related to running virtual machines on Android, especially protected virtual machines. See the getting started documentation and Microdroid README for more information.