On 2 April 2012 06:20, Peter A. G. Crosthwaite <peter.crosthwa...@petalogix.com> wrote: > The xilinx published kernel and linux test binaries expects initrd and dtb to > be at these locations
Isn't this just broken? The documented ABI for the bootloader to kernel interface tells the kernel where to find the initrd (either via the ATAGS list or inside the device tree blob), and if you're using a device tree blob then we pass its location in a register. For device tree in particular it is extremely clear: "Device tree can be located anywhere in system RAM". I don't want to add hacky workarounds for broken guests; if you must run broken guests you can run the whole boot rom or equivalent that the hardware does... -- PMM