efi-configuration
There are 2 repositories under efi-configuration topic.
voltangle/Hackintosh-840
This repo contains EFI configuration, kexts and many other for Hackintosh on HP EliteBook 840 G3
iamwinner422/macOS-Catalina-EFI-HP-Pavilion-15
macOS Catalina Hackintosh EFI Configuration