Raspberry Pi port, piCore-15.0 is available!
...snippet..."It's not done. They've analyzed 7,000 and some-odd CD-ROMs. And they're about to do another 8,000."