On Wed, 24 Oct 2012, Jon Medhurst (Tixy) wrote:
The official release pages will include _some_ similar (and more up to date information), however you won't find any mention of any bootloader other than UEFI.
Another bootloader to hate. Joy!
And, at least for now, no mention of how to boot a kernel other than by removing the SD card and copying it over.
Maybe good for production, but abominable for development. I'm not buying.
Personally (and unofficially), I find that the simplest and most reliable way to use vexpress is to flash the kernel/dtb/initrd images into NOR flash and use the bootmonitor supplied with the board to load these.
Yes, did that before. The reflashing is still relatively long, enough to annoy me.
Nicolas