NVIDIA demos Tegra netbook built from an HP Mini