Contributed ports for CRUX linux distribution (mirror)