The Hafnium Linux driver module.

Clone this repo:

Branches

  1. b040b30 Fix register usage of SPCI_ERROR. by Andrew Walbran · 4 days ago master
  2. cafe017 Use new spci_msg_send API. by Andrew Walbran · 7 days ago
  3. b331fa9 Use message size from run_return rather than legacy header. by Andrew Walbran · 11 days ago
  4. 139759e Fix bug in spci_call passing wrong arguments. by Andrew Walbran · 13 days ago
  5. 4fef63d Support SPCI functions with multiple return values. by Andrew Walbran · 5 weeks ago
  6. a989330 Implement SMCCC 1.2. by Andrew Walbran · 5 weeks ago
  7. d426b6c Implement SMCCC 1.1. by Andrew Walbran · 4 weeks ago
  8. 474c439 Implement hf_call with assembly inline rather than entire function. by Andrew Walbran · 5 weeks ago
  9. 3e669bc Move common socket related code to separate header by Fuad Tabba · 10 weeks ago
  10. 5da4b6b Updating Linux driver to use defined VM ID offset by Fuad Tabba · 10 weeks ago
  11. 8523ccd [WARN] Fix printf format specifier by Fuad Tabba · 2 months ago
  12. 4c96d0c Use spci_vm_id_t and spci_vm_count_t in more places. by Andrew Walbran · 4 months ago
  13. 3eeb1de Use hf_vcpu_count_t for vCPU count where possible. by Andrew Walbran · 4 months ago
  14. afea42a Pass O argument to kernel Makefile by David Brazdil · 4 months ago
  15. ddc3394 Use spci_vcpu_index_t for vCPU indices. by Andrew Walbran · 4 months ago
  16. 01390ae Consistently use spci_vm_id_t for VM ID. by Andrew Walbran · 4 months ago
  17. ece5ef4 Initialize waiting_for_message field of struct vcpu. by Andrew Scull · 5 months ago
  18. 9470423 Account for SPCI message header in received buffer. by Andrew Scull · 7 months ago
  19. 614ed7f Account for SPCI message header in length test. by Andrew Scull · 7 months ago
  20. 1cc6c75 SPCI: Add support for SPCI_MSG_SEND. by Jose Marinho · 7 months ago