Penguin Mini C Support Documentation

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

Name Model Boot Menu Key BIOS Key
Penguin Mini C TPE-MINICPC F11 F2