Raspberry Pi port, piCore-15.0 is available!
For sure I have that hardware since I opened my device and this is what the chip writes on it.