Keys to bring up the boot menu & get into the BIOS:
| Name | Model | Boot Menu Key | BIOS Key | Penguin Pro 11 | TPE-PRO11PC | F8 | DEL |
|---|
Penguin Pro 11: Under an install of Linux Mint 20 you may need to install some updates for full support (should not apply to Linux Mint 21+ and Ubuntu 22.04+): sudo apt update; sudo apt install linux-image-generic-hwe-20.04-edge ; sudo apt dist-upgrade