"Users who are still using Debian Squeeze will definitely want to switch to this," said Raspberry Pi co-founder Eben Upton, "as it contains numerous tweaks and performance improvements to the firmware, kernel and applications.

Debian Wheezy beta users will also see "a very worthwhile" improvement, he added, though they shouldn't expect the boost Squeeze users will get.