Andrew Dixon andrew.dixon at
Sat Dec 1 06:11:19 EST 2001

Hi All,

I'm starting a project to get Linux up on the EST sbc8260 boards that we
have in our lab.  I was just wondering if I should try a PPC specific
kernel like the one that benh maintains or if a stock linux kernel would
do the trick.

Any suggestions, tips, hints, etc. . . would be greatly appreciated.


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

More information about the Linuxppc-embedded mailing list