Raspberry Pi port, piCore-15.0 is available!
You have to compile the source and test the object files before you make an extension.Please read the object file guidelines in the wiki before proceeding.