ZedBoard裸机启动原理

小弟之前只做过FPGA，不了解ARM的运行原理，想求教一个问题： ZedBoard的裸机C++代码在通过SDK下载到板子的时候，具体是下载到了板子上的什么地方去了?  我只能理解bitstream文件下到了FPGA里面，而ARM运行的程序下到哪里去了呢?    （ 我使用的是一般的JTAG启动方式）