Hi, I am trying to emulate the RPI3 in QEMU. The version of QEMU I'm using has RPI3 support out of the box, but the problem is how to boot it.
I have installed Archlinux ARM on a minisd card and booted the RPI3 with it. Tried to compile some programs and it is slow and the sd card gets seriously stressed. This is why I want to do the heavy lifting in a QEMU virtual machine.
I have read some tutorials online and they all use the -kernel option, passing in a kernel image downloaded from various sources. It looks like you need a specially crafted kernel, also the kernel version must be the same one the distro is using. There is no ready made kernel matching the one used in Archlinux ARM. So I'm stuck.
Doesn't QEMU has something like Seabios for the RPI? EFI? Some other thing? From what I remember the RPI boots by looking at a file named bootcode.bin in the first FAT32 partition. Is this correct?