Raspberry Pi port, piCore-15.0 is available!
Thanks! For some reason, my AppBrowswer doesn't do search right now. It's a straight install of the latest posted multicore.