some notes
Here is the QEMU stuff for RPi.
C extension for Python