Desktops and Devices: Market Share, System76, Raspberry Pi, OSMC, and Ataribox