A Gentoo-based RaspberryPi distribution