/*
 * ======== package.xdc ========
 *
 */

requires ti.sdo.pspdrivers.pal_sys.dm6437;

requires ti.sdo.pspdrivers.pal_sys.pci;

/*!
 *  ======== ti.sdo.pspdrivers.system.DM6437.bios.evmDM6437.pci ========
 */
package ti.sdo.pspdrivers.system.dm6437.bios.evmDM6437.pci [1, 10, 01] {
}