I'm using version 2015.2 of Vivado and the Petalinux SDK. I'm using an hdf file I generated myself in Vivado using the standard Microblaze example project, uncustomised. I also didn't customise any of the settings in petabuild-config. Am I supposed to customise either of these (even though Vivado is targetted at the correct dev kit)? If so, what should I change and how?
petalinux-build fails because of a reference to an undeclared symbol 'XILINX_CLOCK_FREQ' in u-boot/src/u-boot-plnx/arch/microblaze/cpu/timer.c
I've attached the build.log and the config.log.
Is this a configuration error or a missing file in the sdk? I found this forum post and wondered if it might be related.