Как настроить NixOS с двойной загрузкой с Mac OS X на (U)EFI MacBook?

Я не смог найти описания настройки двойной загрузки NixOS и Mac OS X на (U)EFI MacBook. Я готов экспериментировать, но я хотел бы знать, по крайней мере, что то, что я попробую, должно работать, и что после этого будет возможность не переустанавливать OS X.

Может ли кто-нибудь рассказать мне, пожалуйста, об основных шагах или дать ссылку на страницу, описывающую процедуру?

Что меня особенно смущает, так это то, что Раздел установки UEFI руководства NixOS гласит, что мне нужно создать системный раздел EFI, который будет смонтирован при /загрузке; однако на моем диске уже есть системный раздел EFI в качестве первого раздела, и я боюсь, что могут возникнуть конфликты, если я разрешу как Mac OS, так и NixOS изменять его. Согласно Википедии,

На компьютерах Macintosh с архитектурой Apple и Intel раздел EFI изначально пуст и не используется для загрузки. Однако раздел EFI является используется в качестве промежуточной области для обновлений встроенного ПО; в частности, он помещает утилиту прошивки прошивки (двоичный файл EFI) и файл данных (FD – "Устройство прошивки") в каталог EFI/APPLE/FIRMWARE, который затем запускается при перезагрузке системы в режиме "прошивка прошивки". Если удалить, система все равно загрузится, и менеджер загрузки по-прежнему позволит пользователям выбирать, запускать ли раздел Boot Camp или Mac OS X по умолчанию, но обновления встроенного ПО завершатся неудачей.

Я полагаю, это означает, что если я использую тот же системный раздел EFI для NixOS, он может быть изменен, если я обновлю прошивку Apple. Также неясно, что произойдет, если я создам два системных раздела EFI. Например, есть опция конфигурации NixOS boot.loader.efi.efiSysMountPoint (где монтируется системный раздел EFI) со значением по умолчанию "/boot", но как он узнает, какой из них монтировать?

P.S. В качестве менеджера загрузки я планировал использовать rEFInd, но любое альтернативное предложение приветствуется.