A documentação para guix system reconfigurediz:
Construa o sistema operacional descrito em file , ative-o e mude para ele.
Uma pesquisa superficial não trouxe nenhuma informação sobre o que ou onde está esse arquivo ou como gerá-lo.
Como @muru comentou, essa página também diz:
Depois de ter escrito uma declaração do sistema operacional como visto na seção anterior
...mas essa seção é a Configuração do Bootloader e da mesma forma não me diz onde encontrar esse arquivo no meu sistema.
Como esta etapa faz parte de uma atualização normal do sistema (depois de executar guix pullconforme descrito em vários lugares), eu esperava algo um pouco mais óbvio ... mas como sou um completo noob em GuixSD, posso estar errado facilmente.
