commit | 2a75df073342fa245d53f4c11d523a62de083be9 | [log] [tgz] |
---|---|---|
author | Alan Stokes <alanstokes@google.com> | Mon Jan 23 14:13:13 2023 +0000 |
committer | Alan Stokes <alanstokes@google.com> | Mon Jan 23 14:13:13 2023 +0000 |
tree | 0691c1940ffca0683d9963d50b260d6d3cb3bcc7 | |
parent | 9034ce744697f9c48201c37f1a99bea57820b5b4 [diff] |
Delete some old files I think these are a relic of my attempt to create an optional API, before we moved into the framework. Deleting them doesn't seem to break anything. Test: Still builds Change-Id: Id78ea4b09645ae0bfd5c14d15bae545942421d4d
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.