- Successfully demonstrated that Raspbian can be launched under QEMU by booting the bootloader, not the kernel (this means using the -kernel argument with the U-Boot binary).
There are two main ways this can come about:
- Boot the U-Boot binary compiled for RaspberryPi. I'm not sure if Raspbian actually comes with this bootloader, since RaspberryPi does not depend on U-Boot for booting. If not it will have to be compiled separately. In either case, I consider this less likely to work compared to the next option, but it is closer to the real thing.
- Boot the vexpress-qemu compiled U-Boot binary, but use it to launch the RaspberryPi kernel from the image.