PLATFORM_NAME        = "Nvidia Tegra 3"
PLATFORM_ARCH        = arm
PLATFORM_RAM_BASE    = 0x80000000
PLATFORM_RAM_SIZE_MB = 1022
PLATFORM_UART_NR     = 2