Make sure that sd_card is burned with expected binaries.
Plug-in sd_card into SD card slot and power up the board.
After board boots up, click on Debug to launch debugger.
Note: The sd_card.img at Hardware/package/sd_card.img is the file for regular use. sd_card.img at Hardware/package_aie_debug is for debug run on board.