From mboxrd@z Thu Jan  1 00:00:00 1970
From: Andreas =?iso-8859-1?q?M=FCller?= <schnitzeltony@gmx.de>
Date: Mon, 24 Oct 2011 22:30:50 +0200
Subject: [U-Boot] Is there a branch with support for Karo TX51?
Message-ID: <201110242230.50329.schnitzeltony@gmx.de>
List-Id: <u-boot.lists.denx.de>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
To: u-boot@lists.denx.de

Hi,

grepping current master for tx51 gives:

arch/arm/include/asm/mach-types.h:#define MACH_TYPE_TX51                 2529
arch/arm/include/asm/mach-types.h:#ifdef CONFIG_MACH_TX51
arch/arm/include/asm/mach-types.h:#  define machine_arch_type	MACH_TYPE_TX51
arch/arm/include/asm/mach-types.h:# define machine_is_tx51()	(machine_arch_type == MACH_TYPE_TX51)
arch/arm/include/asm/mach-types.h:# define machine_is_tx51()	(0)

I think this is not sufficient for building u-boot booting TX51...

Is there a branch or other source out there supporting TX51? KARO itself seems to support only a very poor 
redboot ( no ddirect booting from SDCard / TFTP ).

Thanks in advance

Andreas