load sd will load riscv-linux directory if the user chose to download it

README.md

@@ -78,12 +78,16 @@ Our system will allow you to run a RISC-V binary on a rocket core instantiated o
 
 1) <a name="quickinst"></a> Quick Instructions 
 ------------------
-_Using prebuilt images, run hello world on rocket_
+_Using prebuilt images, run hello world and/or linux on rocket_
 
 First, enter into the directory for your board (current options are `zybo`, `zedboard`, and `zc706`). From there, run the following to download all of the necessary images:
 
     $ make fetch-images
 
+If you'd also like to try riscv-linux on rocket, run the following:
+
+    $ make fetch-riscv-linux
+
 Next, insert the SD card on the development system and copy over the images:
 
     $ make load-sd SD=path_to_mounted_sdcard

common/load_card.sh

@@ -13,3 +13,10 @@ cp $fpga_images_dir/boot.bin $1
 cp $fpga_images_dir/devicetree.dtb $1
 cp $fpga_images_dir/uImage $1
 cp $fpga_images_dir/uramdisk.image.gz $1
+# if user downloaded riscv-linux, copy that over also
+if [ -a $fpga_images_dir/riscv/vmlinux ] 
+then 
+    mkdir -p $1/riscv
+    cp $fpga_images_dir/riscv/vmlinux $1/riscv/
+    cp $fpga_images_dir/riscv/root.bin $1/riscv/
+fi