commit | 67024de73d500432a6faf419b425e4dc9e6ef271 | [log] [tgz] |
---|---|---|
author | Treehugger Robot <treehugger-gerrit@google.com> | Mon Nov 14 16:21:39 2022 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Nov 14 16:21:39 2022 +0000 |
tree | 5c10a31fab679e39493f41cdf1cf0e4689355e92 | |
parent | 878771f1423d334d4402f87021da764217715e25 [diff] | |
parent | 85ac934ec00cd0a9ca905642247f87eb8aa4b0c1 [diff] |
Merge "Rename console/log getters"
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.