Ports for CRUX