[RFC PATCH V2 0/6] ARM: initial Tegra support

[Antony Pavlov]

This series make possible to run barebox on the Toshiba AC100 smartbook.
The smartbook is based on Tegra2 chipset.

This patches are very preliminary and lack many important things
such mmu&cache support and clocksource programming;
so to start barebox you need u-boot for hardware initialisation.

U-Boot for Toshiba AC100:
 https://github.com/chpec/uboot-ac100.git

Linux for Toshiba AC100:
 git://gitorious.org/~marvin24/ac100/marvin24s-kernel.git