Вам для запуска и получения коро следует выполнить следующие шаги:
1. Поставить 11-CURRENT
Ибо только в нем есть поддержка 64 битного linuxalator
2. Поставить этот порт.
Попытаться запустить в нём centos 7 :) получить корку, взять отладчик и наслаждаться часами отладки :))))