Raspberry Pi
"piCore" is the Raspberry Pi port of "Core".