From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <3C07EFEF.2DC911B2@seranoa.com>
Date: Fri, 30 Nov 2001 15:45:35 -0500
From: Andrew Dixon <andrew.dixon@seranoa.com>
MIME-Version: 1.0
To: ppclist <linuxppc-embedded@lists.linuxppc.org>
Subject: EST sbc8260
Content-Type: text/plain; charset=us-ascii
Sender: owner-linuxppc-embedded@lists.linuxppc.org
List-Id: <linuxppc-embedded@lists.linuxppc.org>


Hi Everyone,

I'm trying to boot linux on the EST sbc8260 boards that we've got in our
lab and I was wondering if anyone could recommend a kernel to use.
Specifically I was wondering if it's better to use the standard kernel
from http://www.kernel.org or if another, ppc specific, tree (like the
one benh maintains) would be better.

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

Thanks,
Andy

** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/