(03-04-2022, 12:23 PM)fxc Wrote: When you boot your computer and it tells you to hold F12 to start the BIOS, how many keys do you need to hold to access the BIOS? The answer is 1, the F12 key. If you press it too late, you will end in Ubuntu. If Ubuntu is running, your PC won't start the BIOS when you press F12. If power is not plugged in, your BIOS won't start. If your PC is stuck in GRUB and you have no display output and you press F12, the BIOS won't load either.
To boot the microSD card on the PinePhone Pro, you need to hold the RE key at boot.
Catching the boot in bios, then give you access to choices as to what to boot from. There's no choices here.
Your instruction mean that you need to disassemble the phone every time you want to boot. Maybe drill a hole in back cover to depress RE?
