Merged. Thanks for you contribution and sorry for being late.
On Wed, May 22, 2013 at 11:39 AM, Paul Barker wrote:
> Instead of overriding the default psplash image, the raspberrypi image is
> added
> as an additional image. It is then set as the default in the raspberrypi
> machine
> config fi
Instead of overriding the default psplash image, the raspberrypi image is added
as an additional image. It is then set as the default in the raspberrypi machine
config file so that other targets do not pick up our splash image.
Tested on raspberrpi and qemuarm: on raspberrypi I see to Raspberry Pi
