A HP Z4 G4 had:
- Secure boot enabled
- Windows 11 home installed on a NVMe
- AlmaLinux 8.10 installed on a SATA HDD
- Grub from AlmaLinux used, where defaults to booting AlmaLinux but can select the Windows boot manager from the grub menu
- A write protected SD card to test booting Linux live images, selected by manually entering the BIOS boot menu