On Thu, Jun 29, 2006 at 10:02:56PM +0200, Martin Guy wrote: > I've set up a current Debian ARM sarge with ARM EABI kernel Cool. EABI userland too?