| commit | be3a97b7fc49175477dac7de3938008a61b478f8 | [log] [tgz] |
|---|---|---|
| author | Pierre-Clément Tosi <ptosi@google.com> | Fri May 19 14:56:23 2023 +0000 |
| committer | Pierre-Clément Tosi <ptosi@google.com> | Fri May 19 15:42:39 2023 +0000 |
| tree | 772900c422d8ab2b27dbb0459001e1a85e2d1280 | |
| parent | f03089ce44c61a56fcc4f3247228ed326f863154 [diff] |
pvmfw: Accept either swiotlb DT reg or size/align In accordance with the Linux documentation for "restricted-dma-pool", either expect a static region through the <reg> property OR a dynamic one with the <size> property, not both. When <reg> is used, assume that <alignment> isn't needed either as no allocation is required (docs are currently unclear on this). Remove properties that aren't deemed necessary from the template DT, when modifying it to generate the guest DT. To do so, NOP the properties instead of deleting them, this has the same effect of removing them from the DT but is O(1) instead of O(n) in the length of the DT; as we fdt.pack() it once done, the final result remains as compact as possible anyway. Bug: 244630071 Test: m pvmfw_img Change-Id: I22ae4bbb7fdc5030de4fd6db95a4103e3459c401
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.