I am going to build the Linux kernel for FMCADC5 (Dual AD9625 on DUAL HPC FMC)/Xilinx VC707/VisualAnalog/on Microblaze, but can't find the kernel configuration to use for this reference design. Already familiar with the wiki pages, links below.
In my case I am interested in the latest release 2015_R1 branch.
Quickly checking the available configurations with 'make help' I can see no reference to FMCADC5.
My guess is that I should use the default mmu_defconfig configuration, but it would be nice if there is more information on the topic and if somebody can confirm this.
Thanks for any help!