Raspberry Pi port, piCore-15.0 is available!
Version in repo is 4.2.6 dated back to 2010/03/07. Upstream version is 4.4.3.