[PATCH] ARM: add support for BCM2708/BCM2835 and Raspberry Pi

[popcornmix]

On Thu, Sep 6, 2012 at 11:10 PM, Simon Arlott <simon at fire.lp0.eu> wrote:
> I've been waiting over 3 months now for device tree support to be added
> to the GPU-based bootloader and it still hasn't appeared.

Sorry Simon, I thought the device tree support was complete, apart
from requiring the command line in the device tree file to be padded
with spaces.
I didn't realise it was holding anything up. I can look into this -
was there anything else missing?