DietPi маленьуий дистрибутив операционной системы на базе Debian GNU/Linux. Скачать дистрибутив DietPi можно с сайта dietpi.com.