I would be interested in that as well. However, I do not have the resources and time for that so that everyone is invited to contribute here. The script uses some RaspberryPi specific emulator ports, which would have to be modified accordingly (I guess).
