Posts for year 2013 2013-06-16Upgrade the CPU microcode on Debian 2013-03-04Install the Tizen SDK on Debian