Hopping over to the About screen, he was shocked to discover that the device was running ICS. The firmware appears to be operating on the same baseband as the screenshots leaked a few weeks ago, but it's running on an updated build (IRK48) and kernel (3.0.1).
While many open-source fans will be downloading a copy for the more recent Linux 3.2.29 kernel and other updated packages, ease of use is the guiding principle for the new build: there's now a graphical NetworkManager interface to manage wired and wireless connections, for a start.