fix(ff-a): FFA_RUN checking of vcpu index

FFA_RUN in the secure world, does not check that the vCPU index provided
is the same as the physical CPU index. Per the FF-A specification, all
MP partitions are pinned to a physical cpu and if this is not checked,
FFA_RUN can be successfully called on an arbitrary vCPU..

Signed-off-by: Raghu Krishnamurthy <raghu.ncstate@gmail.com>
Change-Id: I4edb02e1624efa54d3eee5a36eba4f9fed26e580
6 files changed
tree: a9c0ef24b09a28cd33235138c519c1e823caa7d4
  1. .vscode/
  2. build/
  3. docs/
  4. driver/
  5. inc/
  6. kokoro/
  7. project/
  8. src/
  9. test/
  10. third_party/
  11. vmlib/
  12. .clang-format
  13. .clang-tidy
  14. .gitignore
  15. .gitmodules
  16. .gn
  17. AUTHORS
  18. BUILD.gn
  19. CONTRIBUTING.md
  20. dco.txt
  21. LICENSE
  22. Makefile
  23. navbar.md
  24. 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@lists.trustedfirmware.org. See feature requests and bugs on our bug dashboard.

Getting started

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

If you want to contribute to the project, see details of how we accept contributions.

Documentation

More documentation is available on: