Hello, I'm new to Hurd and this mailing list. Is Debian GNU/Hurd able to be installed on an UEFI PC? (I searched the archives for UEFI but only found this thread: https://lists.debian.org/debian-hurd/2016/05/msg00033.html ...which doesn't answer the question.) Greetings Peter