| commit | a0bfc86ab920ba10b7d29a2f567d6d31d6dbadca | [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 02 17:38:28 2023 +0000 |
| tree | e9710ded40128240b19db8c5ea10a768d74490a1 | |
| parent | eb887ac7b18e01926b9160eb0fde18913d838227 [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() == &[].
Test: atest MicrodroidHostTests
Change-Id: 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.