My Mac keyboard is not working during EFI startup, so I can’t press option to select the boot device. I am dual booting Archlinux, so my EFI binary is from systemd-boot. I configured timeout in loader.conf, it shows the menu but I can’t even change the selection. Fortunately it boots Arch successfully, so I can change anything from inside.
How can I use my Mac keyboard during EFI startup?