This is mainly for the Raspberry pi and other ARM based devices. This also goes for having support for GPIO in the raspberry pi.