Penguin Pro 10 GNU/Linux Desktop Support Documentation

Keys to bring up the boot menu & get into the BIOS:

Name Model Boot Menu Key BIOS Key
Penguin Pro 10 TPE-PRO10PC F8 DEL