This is an old revision of the document!
/etc/apt/sources.list
deb http://mirrordirector.raspbian.org/raspbian/ wheezy main contrib non-free rpi
/etc/apt/sources.list.d/raspi.list
deb http://archive.raspberrypi.org/debian/ wheezy main
/etc/apt/sources.list
deb http://mirrordirector.raspbian.org/raspbian/ jessie main contrib non-free rpi
/etc/apt/sources.list.d/raspi.list
deb http://archive.raspberrypi.org/debian/ jessie main
Install the package rng-tools and add to /etc/modules:
bcm2708-rng
Add this to /boot/config.txt
max_usb_current=1
Add this to /boot/config.txt
hdmi_force_hotplug=1 hdmi_drive=2
https://raspberrypi.stackexchange.com/questions/2169/how-do-i-force-the-raspberry-pi-to-turn-on-hdmi
There are 2 kernels available, one distributed by the Raspberry Foundation (package raspberrypi-bootloader) and another by Debian/Raspbian (packages raspberrypi-bootloader-nokernel and linux-image-rpi2-rpfv). If the last packages don't appear, add firmware as a component of the raspbian repository.
https://www.raspberrypi.org/forums/viewtopic.php?t=50310&f=66