Raspberry Pi port, piCore-15.0 is available!
What all do I need to submit to the repo. Just directions?