Acabei de notar que o kernel.org está inoperante para manutenção. existe uma fórmula diferente que use um espelho diferente? ou posso adicionar uma fonte diferente (como empacotador?) ao homebrew?

thx pela ajuda!