Hi guys, I've added some user-facing UEFI documentation in the wiki at (surprisingly!) https://wiki.debian.org/UEFI My initial intent was to add a place where we can point users with problems, and then it grew. And grew... :-) Comments and additions welcome - please review! -- Steve McIntyre, Cambridge, UK. steve@einval.com "When C++ is your hammer, everything looks like a thumb." -- Steven M. Haflich