There are 1 repository under hp-elitebook topic.
OpenCore EFI for Hackintosh HP Elitebook 840 G5
OpenCore EFI for Hackintosh HP Elitebook 840 G7
Sharing some notes about running Ubuntu 18.04.1 on HP EliteBook 850 G5
Sandybridge build HD3000