what devices use the videocore 4 microarchitecure?
videocore 4 is used in the nokia 808, some versions of roku hardware and the raspberry pi (2835/2836 models).