Pindestino is a linux distribution/image for Raspberry Pi, built on top of Raspbian.