Instalación de ArchLinux en Macbook Pro Retina (dual boot)

En el wiki de ArchLinux tienes una guía detallada (y aquí otra específica para el modelo 13" Late 2013) que te explica cómo instalar ArchLinux en tu Mac. Lamentablemente está muy enrevesada, y algunas cosas no están actualizadas. Por lo que aquí resumo los pasos que he seguido para instalar ArchLinux en mi Macbook Pro Retina 13" Late 2013:

1. Entra en OSX de forma normal
2. Descarga el último Archboot y crea un instalador USB
3. Utilizando "Utilidad de Discos" reduce el tamaño de la partición que contiene OSX
4. Descarga rEFInd y extrae los ficheros
5. Instala rEFInd usando install.sh --alldrivers . Es curioso que en el wiki de archlinux indique que instales rEFInd usando --nodrivers, porque si haces esto rEFInd no podrá leer tu partición de Linux, ya que no tiene los drivers correspondientes.
6. Reinicia con el USB insertado, pulsa ALT durante el inicio para poder arrancar desde el USB
7. Cuando aparezca el instalador, pulsa Fn+Alt+F2 para acceder a un terminal. Ejecuta cgdisk /dev/sda. Si al redimensionar la partición de OSX habías creado otra, bórrala. Crea una nueva partición de tipo "Linux filesystem" dejando un hueco de 128MB (escribiendo +128M cuando te pregunte "First sector")
8. Guarda los cambios (seleccionando la opción Write) y sal de cgdisk
9. Vuelve al instalador pulsando Fn+Alt+F1
10. Instala ArchLinux de forma normal, pero sin instalar ningún bootloader
11. Accede a un terminal (Fn+Alt+F2) y crea, en la partición en la que acabas de instalar Arch, el fichero /boot/refind_linux.conf añadiendo esta línea:
    "Default" "rw root=UUID=<UUID> rootflags=data=writeback libata.force=noncq"
    Tienes que reemplazar <UUID> por el valor correspondiente. Puedes obtener este valor ejecutando blkid /dev/sda4 (sustituyendo sda4 por la partición donde estás instalando Arch). Rootflags y libdata.force sirven para optimizar el rendimiento del disco duro SSD.
12. Apaga el mac y quita el USB
13. Al arrancar rEFInd detectará tu instalación de Arch y te permitirá seleccionar con qué SO arrancar
14. Configura la red y conecta a una red usando wifi-menu

Si quieres redimensionar la partición de OSX, hazlo con la "Utilidad de Discos" desde OSX. Si quieres redimensionar la partición de Linux, hazlo desde GParted.

Si quieres eliminar rEFInd, basta con eliminar el directorio /EFI/refind.