<t>llewell said: <br/> <br/> <br/> As to the Debian image, I can't find grub or the kernel, for that matter. They don't appear in any of the usual locations (but as I said, I haven't seen a Debian ARM build before). I don't suppose anyone has published docs on how the RPi actually boots, have they...