GPU bootloader and Linux kernel [ref](https://github.com/raspberrypi/firmware/blob/ffda51ebff205858df0f992ab2223a1c0c8c9525/README#L7-9)

The Raspberry Pi does [not](http://www.raspberrypi.org/forums/viewtopic.php?t=1444) support PXE but [can](http://elinux.org/RPi_U-Boot) boot U-Boot.

Debian armel [works](https://wiki.debian.org/RaspberryPi) on the Raspberry Pi, and [has](https://packages.debian.org/jessie/armel/docker.io) Docker.

GPU bootloader and Linux kernel [ref](https://github.com/raspberrypi/firmware/blob/ffda51ebff205858df0f992ab2223a1c0c8c9525/README#L7-9)

The Raspberry Pi does [not](http://www.raspberrypi.org/forums/viewtopic.php?t=1444) support PXE but [can](http://elinux.org/RPi_U-Boot) boot U-Boot.

Debian armel [works](https://wiki.debian.org/RaspberryPi) on the Raspberry Pi, and [sid has](https://packages.debian.org/search?keywords=docker.io&searchon=names&suite=all&section=all) Docker.

Add detail on RPi and Docker
Add detail on RPi and Docker