Is there an official list, for all System76 models, of the key to press (just after power-on) to either

  • go to the BIOS setup screen
  • select device from which to boot from among available devices?


I'm currently working with a Meerkat Ion (model=ment2) and a Pangolin Performance 5 (model=PanP5), trying to debug a problem with booting from a Samsung USB DVD drive (External DVD Writer Model SE-S084) also purchased from System76. I can get the ment2 to go to BIOS with key=Del, and I can get the PanP5 to go to BIOS with key=F2, but I can't get a boot-select screen from either.

IMHO a sticky thread with a table listing [model, BIOS key, boot-select key] would be quite useful.