commit | b7557749d38fbc38fd439e8930181cc6a9dc0364 | [log] [tgz] |
---|---|---|
author | Pierre-Clément Tosi <ptosi@google.com> | Mon May 15 17:35:59 2023 +0000 |
committer | Pierre-Clément Tosi <ptosi@google.com> | Tue May 16 12:46:00 2023 +0000 |
tree | e7dab13a283edc7cbb9c9107be9da18a8781de1c | |
parent | 7c5df04c29dc6e2f888cd9d2c5382d5ba31a7022 [diff] |
pvmfw: Allow read_sysreg! being called from unsafe Prevent a compiler warning/error from nested unsafe blocks. Test: TH Change-Id: I20b96287e7a2630100a37eb6d4eaf57e5a16d048
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.