PUB:20140731 Red Hat aims to standardize Linux for 64-bit ARM servers

@owen-carter