Raspberry Pi port, piCore-15.0 is available!
You could probably hack the script in the x86 version to work for RPi?