On 10/29/19 12:22 PM, Pascal Hambourg wrote:
HP UEFI firmwares were among the most broken ones, ignoring EFI boot entries created for GRUB.
I swear those new hp's are broken by design just like our main stream(cough) linux. But if you find the right system, using the right kernel you can get around it and I think you already know that.