Raspberry Pi port, piCore-15.0 is available!
It appears you will need to compile that extension yourself.
Please stop writing in red text and use normal text instead.Read the extension making section of the wiki.