vmbase: Assert TCR_EL1 assumptions in Rust

Instead of documenting the assumption in a comment, check it at runtime
so that breaking changes may be automatically caught.

Note: no functional change intended.

Test: m pvmfw_img
Change-Id: Ib1a013b383997269de6a35762a041ef2a7df0ebb
2 files changed
tree: 28de2c60175a0e17da3373f01cfdde50a0276626
  1. apex/
  2. apkdmverity/
  3. authfs/
  4. compos/
  5. demo/
  6. demo_native/
  7. docs/
  8. encryptedstore/
  9. javalib/
  10. launcher/
  11. libs/
  12. microdroid/
  13. microdroid_manager/
  14. pvmfw/
  15. rialto/
  16. service_vm/
  17. tests/
  18. virtualizationmanager/
  19. virtualizationservice/
  20. vm/
  21. vm_payload/
  22. vmbase/
  23. vmclient/
  24. zipfuse/
  25. .clang-format
  26. .gitignore
  27. Android.bp
  28. OWNERS
  29. PREUPLOAD.cfg
  30. README.md
  31. TEST_MAPPING
README.md

Virtualization

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.