NVIDIA Tegra K1 4 GB RAM computadoras portátiles y netbooks