Usando IA para Portar um Driver Wi-Fi do Linux para o FreeBSD: Um Estudo de Caso

Tentativa Direta de Portabilidade de Código com IA

O desenvolvedor tinha um MacBook Pro de 2016 com um chip Wi-Fi Broadcom BCM4350 que não tem suporte nativo no FreeBSD. A solução típica é o wifibox - uma VM Linux com passagem de PCI. Em vez disso, eles tentaram portar o driver brcmfmac do Linux (licença ISC) diretamente para o FreeBSD usando IA.

Eles clonaram a subárvore brcmfmac e pediram ao Claude Code para fazê-lo funcionar no FreeBSD, especificamente apontando para o driver iwlwifi como referência para usar o LinuxKPI (camada de compatibilidade do kernel Linux do FreeBSD). A tentativa inicial produziu um módulo que compilou, mas não funcionou porque a VM de teste não tinha o hardware real.

Ao testar com o dispositivo PCI real, o kernel entrou em pânico. O Claude Code tentou corrigir os panics adicionando wrappers #ifdef __FreeBSD__ e construindo shims e callbacks específicos do FreeBSD, mas alertou que o projeto estava se tornando "muito complicado e confuso". O diff resultante foi significativamente maior que o esperado, e o driver permaneceu não funcional.

Abordagem Primeiro-Especificação

Inspirado pela experiência de Armin Ronacher com o Claude Opus e o agente Pi, o desenvolvedor mudou de abordagem. Reconhecendo que sua tarefa era estreita (um chip, apenas PCI, apenas cliente Wi-Fi), eles iniciaram uma nova sessão Pi e pediram ao agente para escrever uma especificação detalhada de como o driver brcmfmac funciona com foco no BCM4350.

Eles definiram explicitamente o público como "leitores encarregados de implementar a especificação em um ambiente clean-room" e pediram explicações "até os bits". O agente produziu uma especificação de 11 capítulos cobrindo:

• 00-overview.md
• 01-data-structures.md
• 02-bus-layer.md
• 03-protocol-layer.md
• 04-firmware-interface.md
• 05-event-handling.md
• 06-cfg80211-operations.md
• 07-initialization.md
• 08-data-path.md
• 09-firmware-commands.md
• 10-structures-reference.md

O desenvolvedor observa que especificações geradas por IA requerem verificação, pois "não se pode simplesmente confiar no que a IA escreveu".