Debian - How to install the kernel

[Andy Green]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Somebody in the thread at some point said:

| I tried copying the existing "OM2008.8" kernel from /boot to
| /media/card/boot . This allowed the Freerunner to 'boot from MicroSD'
| into the Debian shell. However, USB networking is not working. I recall
| it being a module now, instead of being built into the kernel. So, how
| do I get a good kernel for (Freerunner) Debian?

Here's a kernel that has the modules you need built into it already.

http://warmcat.com/uImage-moredrivers-stable:2f775967a997e3b4.bin

For GPL compliance purposes: the sources for these are coming out of
stable (in this case) branch of our kernel git with the head at the
truncated hash shown.

DFU this into the kernel partition and you should be good for Debian, I
use these kernels with it myself all day.

- -Andy
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org

iEYEARECAAYFAkiaB/AACgkQOjLpvpq7dMrgHACeLrtkRSePrv0N+o/awcpVIksu
mHUAniaWqkRhNxDuEX3HjKjlkFpReTwL
=5wCn
-----END PGP SIGNATURE-----