There are 0 repository under 840-hackintosh topic.
Another OpenCore EFI for an HP 840 G3 - I have the stock Intel AC8260 though 😉
OpenCore EFI for Hackintosh HP Elitebook 840 G5
OpenCore EFI for Hackintosh HP Elitebook 840 G7