Loading executable files to SD card

I am following the instructions in the My_First_HPF.pdf that comes with the CD for the DE1-SoC under Demonstrations. In it, it says to load the executable onto an SD card using an ethernet router an...