Raspberry Pi port, piCore-16.0 is available!
That being said, I will try to make this happen with dCore as I want to eliminate the barriers of entry for those coming to dCore from other distros.