/target/de1soc/

• ../
• mod.mk
• pins.tcl
• platform.qsys
• timing.sdc