meta-xilinx/meta-xilinx-bsp/conf/multiconfig/pmumc.conf

MACHINE = "microblaze-pmu"
DISTRO = "xilinx-standalone"
TMPDIR = "${TOPDIR}/tmp-${MACHINE}-${TCLIBC}"

# These should be temporary until the dtg repo has the correct design
HDF_BASE ?= "file://"
HDF_PATH ?= "${TOPDIR}/system.dsa"
HDF_EXT ?= "dsa"