Raspberry Pi port, piCore-15.0 is available!
Weird. I have a couple extensions installed but don't recall messages about these not being supported. Using v4.0.286 or something.