Use spci_vm_id_t for VM IDs, and rename vm_get to vm_find.

This means that we consistently use _get for looking up by index, _find
for looking up by ID (even if the ID happens to be the same as the index
for now).

Change-Id: I54c958be771151316781f80e2057e3076fc4ae0c
7 files changed
tree: c4c428d1c4844a7b9e1a0caaa03da9ddc65dd8cd
  1. build/
  2. docs/
  3. driver/
  4. inc/
  5. kokoro/
  6. project/
  7. src/
  8. test/
  9. third_party/
  10. .clang-format
  11. .clang-tidy
  12. .gitignore
  13. .gitmodules
  14. .gn
  15. AUTHORS
  16. BUILD.gn
  17. CONTRIBUTING.md
  18. LICENSE
  19. Makefile
  20. README.md
README.md

Hafnium

Hafnium is a hypervisor, initially supporting aarch64 (64-bit ARMv8 CPUs).

Get in touch and keep up-to-date at hafnium-discuss@googlegroups.com.

Getting started

To jump in and build Hafnium, follow the getting started instructions.