How to download the devel PPC linux kernel tree ?

Jure Menart jure at
Fri Aug 31 00:20:01 EST 2001

On Thu, Aug 30, 2001 at 11:15:33AM +0200, Lionel TAILLURAT wrote:
> Is there is a tutorial somewhere which explain how to do that ? -> section Kernel Sources... you've got explained how to
> Which kernel should I download ?
you should download kernel that's good for you :-) that's up to your board
in you've got two options - download 'stable PPC kernel' and
development kernel, you should read if your configuration is supported by
stable kernel (I recommend you choose stable if possible)

bye, Jure

** Sent via the linuxppc-embedded mail list. See

More information about the Linuxppc-embedded mailing list