Rasberry is a product of "Rasberry Pi Foundation":
https://www.raspberrypi.org/about/They seems to be nice people, and they want to support communal youth well-being.
So, I think they want to support other distroes possibility to use Rasberry Pi and I/O modules: Even if I/O module drivers for piCore are not working just now, it would be worth or try to buy some modules for Rasberry 3 B plus, I think.