They are showing Ubuntu 11.10 running on the Toshiba AC100, and Ubuntu 11.10 Server Edition running on the OMAP4 Pandaboard.