On Mon, 9 Dec 2013, Matt Michielsen wrote: > If you're using Debian, this guide is pretty useful: > https://wiki.debian.org/MatthiasSchmitz#Building_own_Debian_image_for_Raspberry_Pi > Cool! Unfortunately, we cannot use base Debian - need the Raspberry Pi libraries and utilities, such as raspvid. Lee