Vagrant Cascadian observed that only 3.5 GB RAM are available on the Jetson TX1 development kit. [ 0.000000] Memory: 3501036K/3670016K available (6780K kernel code, 1020K rwdata, 2164K rodata, 3264K init, 634K bss, 168980K reserved, 0K cma-reserved) Interestingly, even u-boot only shows 3.5 GB: DRAM: 3.5 GiB This is with mainline u-boot 2016.11 and R23.2 (2016.03-00633-g3ef9cdb). However, 2015.07-rc2-g78c8468 (from R23.1.1) shows: DRAM: 4 GiB but that u-boot doesn't boot mainline kernels (some DT errors). -- Martin Michlmayr http://www.cyrius.com/ -- To unsubscribe from this list: send the line "unsubscribe linux-tegra" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
