commit | 99a3d1f212ff6c502d85632d70109eecdd99c4b8 | [log] [tgz] |
---|---|---|
author | Pierre-Clément Tosi <ptosi@google.com> | Tue May 02 17:01:24 2023 +0000 |
committer | Pierre-Clément Tosi <ptosi@google.com> | Tue May 09 13:29:16 2023 +0000 |
tree | c6239a22c38595fbbddb18a3cf154fc52676fea7 | |
parent | 1c9b08f146eec24c761de48b612e070500a2d563 [diff] |
pvmfw: Remove unnecessary flush of the guest DT There is not need to flush it manually now that MemoryTracker flushes R/W memory when dropped. Note: This flush() had no effect due to a bug in Fdt::header() causing fdt.as_slice() == &[]. Bug: 280425124 Test: atest MicrodroidHostTests Change-Id: I56678bd0535217a0c246f480c94685378ac7ec59 Merged-In: I56678bd0535217a0c246f480c94685378ac7ec59
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.