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