I had a look at the User guide before I started trying to get the board to boot. I also followed the getting started guide when I actually got the board to make sure I didn’t miss anything important.
If you’re talking about flashing the memories on the board I have not done that. I tried to find information about it but was unable to get anything more than the carrier board schematics and seeing the AT24C02D serial EEPROM labeled “Carrier board config”.
Since I was unable to get any sign of the board trying to boot I finally gave up and returned it to the place I got it from. I picked up a new board though and it is starting up just like it should from the first go. I’m getting serial output from the TTL header and it is booting from one of the same micro sd-cards I tried with the non-working board. I’m also powering it with the same TTI bench power supply so it feels pretty reasonable to conclude there was something wrong with the first board.