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