FPGA_DIR := $(base_dir)/fpga-shells/xilinx
MODEL := U500VC707DevKitFPGAChip
PROJECT := sifive.freedom.unleashed.u500vc707devkit
-CONFIG_PROJECT := sifive.freedom.unleashed.u500vc707devkit
+export CONFIG_PROJECT := sifive.freedom.unleashed.u500vc707devkit
export CONFIG := U500VC707DevKitConfig
export BOARD := vc707
export BOOTROM_DIR := $(base_dir)/bootrom/sdboot