Qemu kernel for emulating Rpi on QEMU. Repo not currently in use, just forked in case the original goes away. - View it on GitHub