The Tizen 2.0 image for Allwinner devices is based on Linux kernel 3.4.61+ and the Tizen-IVI platform, data & UMS images for PandaBoard from 19 Nov. This Tizen-sunxi image is delivered with enabled serial debug console over UART0. By default the LCD display is enabled but it can be easily switched to HDMI by editing the property of disp.screen0_output_type at uEnv.txt file that is read by u-boot. The allowed values are: 0:none; 1:lcd; 2:tv; 3:hdmi; 4:vga.
His next task on his list for this project is to boot the same Tizen IVI 2.0 image on A20-OLinuXino-MICRO.
You can find further details and information at the newly created Wiki about Tizen-sunxi at linux-sunxi.org: http://linux-sunxi.org/Tizen