Hi, thank you for this. I imaged a SD card as instructed, inserted it into the tpi 2.5.2 board; nothing. I connected to the BMC USB-C port but cannot see an output. The two green power LED's are lit but no output from the BMC.