Raspberry Pi port, piCore-15.0 is available!
posting these mostly for future visitors interested in the smartphone situation(s)