Perfetto, grazie.
1. Formatto creando una partizione per OSX più piccola della capacità del mio HD.
2. Reinstallo OSX
3. Installo Linux
4. Come faccio a scegliere cosa lanciare all'avvio??