| commit | 70e11f7019a44ffa675a79fa595a77398e0bf524 | [log] [tgz] |
|---|---|---|
| author | Andrew Scull <ascull@google.com> | Mon Feb 07 22:54:44 2022 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Feb 07 22:54:44 2022 +0000 |
| tree | 39b359425f031e2467766c2987a30c98d5049469 | |
| parent | 11978882b94b924b0cacc3b5d1ff2800b1eb0da4 [diff] | |
| parent | 014efb5fc5a0dc75309d5b568bf943dc037acfb1 [diff] |
Merge "Update to improved system_properties API."
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.