[U-Boot-Users] RFC: Booting the Linux/ppc64 kernel without Open Firmware HOWTO (#2)

[Paul Mackerras]

I wrote:

> Ben's proposal is for ppc64, at least as present.  If the ppc32
> embedded developers decide they want to use a device tree, that would
> be good, but it will proceed by 

... and got interrupted.  I meant to write "proceed by persuasion and
consensus, not fiat".

Paul.