> the focus is on Tegra, in stores since long time

To be more precise, the focus is on the ARMv7-A/Cortex-A based Tegra 2, which hadn't been in stores before September 2010 (the Toshiba AC100 being the first device using it AFAIK). The older, much weaker Tegra processors are based on ARMv6/ARM11.

http://en.wikipedia.org/wiki/Nvidia_Tegra#Specifications

About future Tegra chips:

http://www.engadget.com/2010/09/21/nvidia-ceo-tegra-3-almost-done-tegra-4-on-the-way-expect-a-ne/
http://www.netbooknews.com/9920/video-tegra-3-almost-complete-working-on-tegra-4-expect-a-new-tegra-every-year/
http://www.semiaccurate.com/2010/08/12/tegra-3-tapes-out/

On another note, I dug out a rumour from last August about an alleged future x86 compatible chip by nVidia:

http://www.businessweek.com/news/2010-08-13/nvidia-said-to-take-on-intel-in-tablet-computer-chips.html

How would all that (future Tegra chips, "Denver", mystery x86 compatible chip) go together? The following article may have a speculative answer:

"How is an ARM core related to x86? That is easy, Nvidia is going to use Transmeta-esque code morphing firmware to make the CPU run x86 code. [...] The take home message of this whole story is that Nvidia is building an x86 based on the next generation ARM core."
http://www.semiaccurate.com/2010/08/17/details-emerge-about-nvidias-x86-cpu/

Could that actually be what "Denver" is about, having an ARM ISA based chip that is able to morph x86 code into ARM code for 3rd party application compatibility?