On 11/24/20 16:51, Michael Schierl wrote (in part): > It would even be better if every UEFI just came with a built-in UEFI > shell selectable from the boot menu, but it would probably scare too > many users or make them brick their machine, so I understand that this > won't happen. I miss the days of OBF. N.