/conf/machine/include/virtex4/

• ../
• virtex4-base.inc
• virtex4-default-providers.inc
• virtex4-default-versions.inc