[U-Boot] Is there a branch with support for Karo TX51?

[Andreas Müller]

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