Hardware dual boot select using Raspberry Pi Pico (hackster.io)

Pre-choose the OS to boot, even before turning on the computer by toggling a switch. Now you don't have to wait to select the os.