Raspberry Pi port, piCore-15.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.