Debian-Package and RaspberryPi Porting. See the wiki for more info.