All DIP switches are configured as listed in the User Guide, UG-20046 (So, please don't just link the user guide again in response.)
Running the dev kit in bench top mode.
I've been unable to program the device, always getting a "synchronization error", although it identifies fine in jtagconfig output. So, I'm trying to find out if this power up behavior, with the red LED, is normal or not. (If it is normal, presumably it would go off if I was able to successfully program the FPGA, correct?)
Yes, I know the Error LED means configuration fails. The question is if it is normal for this to be red immediately after power on.
On the question of the green LED, if you mean D45, the power LED, then yes -- it lights up when the board is turned on, as expected.
Attached is the screenshot of the error message when I attempt to program the device . I also attached the message from jtagconfig, which shows that at least it is identified on the chain.