More information

• https://wiki.debian.org/UEFI
• Debian EFI team formed:
• debian-efi@lists.debian.org
• #debian-efi on irc.debian.org
• Ask!