Where can I find the definitions for the BSEL jumpers on the SD daughter card?

I think I figured this one out myself. It looks like these details can be found in section A-7 "Booting and Configuration" of the Arria 10 Hard Processor System Technical Reference Manual. This at least defines what each BSEL[2:0] value represents.

A couple of things still have me scratching my head:

- It isn't clear which jumper setting represents a 0 vs a 1. When I compare the default jumper settings in the SoC dev kit user guide to those in the TRM, it doesn't look right. By default, all 3 jumpers are set the same. This would make the BSEL value either 0 or 7. However, according to the TRM, 0x0 is reserved and 0x7 is for 3.0 V QSPI boot. Neither of those makes sense, given that I know the default settings are used to boot from the SD card. This leads to the second item...

- The info in the HPS TRM deals with other boot options besides the SD card. For these settings to map directly to those of the SD daughter card seems a bit odd. I am wondering if the settings in the TRM may be somewhat orthogonal to those on the daughter card. If so, I'm back to square one.

Clarification would be appreciated.

Dave