On Wed, Jul 20, 2016 at 6:07 AM, Mark Morgan Lloyd wrote: > Is there still a kernel etc. anywhere for the original Raspberry Pi? The wiki says you need a custom version of the Linux kernel, so probably you'll have to grab the one from Raspbian: https://wiki.debian.org/RaspberryPi > pukka Debian What is pukka Debian? Typo? -- bye, pabs https://wiki.debian.org/PaulWise