Raspberry Pi port, piCore-14.0 is available!
Which architecture?Note also that the last update appears to have been in 2010 and that file has been downloaded twice since then...