Can somebody please tell me what configuration to use to create a compatible u-boot & kernel for the microZed board. When I compile the xilinx-14.3-build2-trd tagged u-boot & kernel, and attempt to boot it, I get the following error:
Error: unrecognized/unsupported machine ID (r1 = 0x1fb6ad84).
Alternatively, could somebody please post instructions for recreating the default factory image from scratch.