Just to highlight that this was implicitly answered in the reply from TimG. The documentation seems to be here -
I am looking for definitions of the EEPROM settings but drawing a blank.
Is it documented (there is plenty on changing boot device)?
Raspberry Pi Bootloader Configuration - https://www.raspberrypi.com/documentati ... figuration
Statistics: Posted by B.Goode — Tue Feb 13, 2024 9:13 am