©2018 NEC Display Solutions, Ltd. Page 66 of 7114 External reference informationMain Raspberry Pi website:https://www.raspberrypi.org/Wikipedia page with listing of other supported operating systems:https://en.wikipedia.org/wiki/Raspberry_Pi#Operating_systemsAnother listing of Raspberry Pi based operating system distributions:http://elinux.org/RPi_DistributionsGeneric information for flashing the Compute Module:https://www.raspberrypi.org/documentation/hardware/computemodule/cm-emmc-flashing.mdInformation on using raspi-config:https://www.raspberrypi.org/documentation/configuration/raspi-config.mdInformation on using VNC to remotely control the desktop interface from another machine:https://www.raspberrypi.org/documentation/remote-access/vnc/README.mdAccessing CEC (IR remote) functionality using Python via the libcec library:https://github.com/Pulse-Eight/libcec/blob/master/src/pyCecClient/pyCecClient.py