Hi Marek, On 09/04/2015 10:01 PM, Marek Vasut wrote: >> + print_num("fdt_blob", (ulong)gd->fdt_blob); > > I think this will not work on 64bit machines. I'd agree that it won't work on 64bits machines, but it is enough for a soft-core 32btis fpga processor. :) Best regards, Thomas Chou