The Hafnium Linux driver module.

Clone this repo:

Branches

  1. 4cc539b Copy vmapi source files from Hafnium tree on build. by Andrew Walbran · 5 days ago master
  2. 06046ea Fix local Kernel Module builds. by Serban Constantinescu · 5 days ago
  3. 2c6e751 Use SPCI_RXTX_MAP instead of hf_vm_configure. by Andrew Walbran · 7 days ago
  4. 73c3279 Use SPCI_RX_RELEASE rather than hf_mailbox_clear. by Andrew Walbran · 7 days ago
  5. 6aef655 Rename helper functions for getting VM ID and vCPU index. by Andrew Walbran · 7 days ago
  6. 39bf789 Call spci_run rather than hf_vcpu_run. by Andrew Walbran · 11 days ago
  7. 3b4db94 Use $(CURDIR) rather than $(PWD) in Makefile. by Andrew Walbran · 4 weeks ago
  8. b040b30 Fix register usage of SPCI_ERROR. by Andrew Walbran · 5 weeks ago
  9. cafe017 Use new spci_msg_send API. by Andrew Walbran · 5 weeks ago
  10. b331fa9 Use message size from run_return rather than legacy header. by Andrew Walbran · 6 weeks ago
  11. 139759e Fix bug in spci_call passing wrong arguments. by Andrew Walbran · 6 weeks ago
  12. 4fef63d Support SPCI functions with multiple return values. by Andrew Walbran · 9 weeks ago
  13. a989330 Implement SMCCC 1.2. by Andrew Walbran · 9 weeks ago
  14. d426b6c Implement SMCCC 1.1. by Andrew Walbran · 9 weeks ago
  15. 474c439 Implement hf_call with assembly inline rather than entire function. by Andrew Walbran · 9 weeks ago
  16. 3e669bc Move common socket related code to separate header by Fuad Tabba · 3 months ago
  17. 5da4b6b Updating Linux driver to use defined VM ID offset by Fuad Tabba · 3 months ago
  18. 8523ccd [WARN] Fix printf format specifier by Fuad Tabba · 3 months ago
  19. 4c96d0c Use spci_vm_id_t and spci_vm_count_t in more places. by Andrew Walbran · 5 months ago
  20. 3eeb1de Use hf_vcpu_count_t for vCPU count where possible. by Andrew Walbran · 5 months ago