Decouple logs from seconday VM index.

As the primary VM gets given ID 0, the secondary index becomes off by
one. This could be patched where it is logged but it is also more
convenient for debugging if the name give to the VM is logged.

We don't have a way to log a memiter and the precision syntax is not
supported by dlog. We don't particularly want a fully fledged printf and
this is only used in one place at the moment so the print is done
manually. If we improve dlog in future, this can be updated.

Change-Id: I8192f9ab970438e150f82de0e4437ac3d37143cb
1 file changed
tree: 195b2dcaeb6e972716e02597febdd1f97f515d72
  1. build/
  2. docs/
  3. driver/
  4. inc/
  5. kokoro/
  6. src/
  7. test/
  8. third_party/
  9. .clang-format
  10. .clang-tidy
  11. .gitignore
  12. .gitmodules
  13. .gn
  14. BUILD.gn
  15. Makefile
  16. README.md
README.md

Hafnium

go/hafnium

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

Further details are available in the design doc.

Get in touch and keep up-to-date at g/hafnium-eng.

Getting started

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