commit | 921547689968dc98ffdcd5bfc84a43ef29d67c9e | [log] [tgz] |
---|---|---|
author | Pierre-Clément Tosi <ptosi@google.com> | Wed Jun 07 15:32:15 2023 +0000 |
committer | Pierre-Clément Tosi <ptosi@google.com> | Thu Jun 08 08:56:37 2023 +0000 |
tree | 2b596fa4ca56dc702984f85c2e774f4ee11f7a79 | |
parent | b73a81b85c6ad5ed75a33819ced8c2f103241316 [diff] |
lib/hyp: Introduce MMIO_GUARD_GRANULE_SIZE Our MMIO_GUARD implementation currently only supports 4KiB granules so make this clear by using a dedicated (centralized) constant instead of conflating it with the vmbase PAGE_SIZE. Note: no functional change intended. Test: m pvmfw_img Change-Id: I17e5f5fc2713e667188933d4f92026e2103b1416
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.