http://www.umgum.com/debian-mixed-distribution/