Files
lgcosta fe324259c0 Screencasts: seis videos silenciosos 1080p30 da demonstracao
Novo pipeline de video: scripts/screencast/render.py roda uma fase em um pty,
emula o terminal com pyte, gera frames PNG e mux com ffmpeg (H.264,
yuv420p, +faststart, sem trilha de audio). Fallback de encoder: libx264 ->
libopenh264 -> VP9.

Fases (scripts/screencast/phases/, uma sessao real contra o lab por video):
  1. implementacao no kernel - fontes OpenBSD + compat + build limpo do pf.ko
  2. ativacao - insmod, /dev/pf, pfctl -e, pfctl -s info
  3. regras basicas - tabela, anchor, keep state, block drop
  4. roteamento - route-to e reply-to (provado com tcpdump nas 2 interfaces)
  5. balanceamento - pool round-robin, pool source-hash, dup-to
  6. QOS - filas hfsc, pfctl -s queue -v, transferencia de 2 MB pela fila

Os videos ficam versionados em out/screencast/ (.gitignore ajustado para
nao ignorar *.mp4) e o indice/texto de descricao do YouTube em
docs/{en,pt-BR}/screencast.md.

Correcoes na propria demo (encontradas gravando): a acao de uma regra no pf
e pass OU block (nunca os dois); as regras de um anchor vivem em um ruleset
proprio (pfctl -a <anchor> -f); o nc do QOS precisa rodar na VM do servidor,
nao no firewall; o rotulo 'FASE x/6' vem do numero da fase, nao da posicao
na lista de gravacao.
2026-11-12 08:41:41 -03:00
..

Documentação PF-on-Linux (português)

English documentation: docs/en/README.md.

Este é o conjunto de documentação de usuário do port do PF do OpenBSD 8.0 para o Linux 7.3.4 — o engine PF de verdade (pf.c, pf_norm.c, pf_table.c, pf_lb.c, …) rodando como módulo out-of-tree pf.ko, controlado pelo pfctl real do OpenBSD pela ABI ioctl de /dev/pf.

Índice

Documento Conteúdo
guide.md Arquitetura em uma página: componentes, caminho de dados, plano de controle, milestones
install.md Receita de aplicação/build/instalação (kernel, módulo, ferramentas)
build.md Pipeline de build em detalhe: fetch → vendorize → kernel → módulo → pfctl
vm-lab.md Bancada de validação em libvirt: topologia, recriar/rodar, o que cada gate prova
feature-matrix.md Status por feature: VERIFIED-in-VM / COMPILES-untested / PENDING-Mx
pf-guide.md Uso diário: o que funciona hoje em /etc/pf.conf, o que evitar até M3/M4
patches.md Patches de core do Linux (hoje vazio) + regras e template para futuros 000N-*.patch
caveats.md Divergências conhecidas de comportamento e limitações atuais

Fontes de verdade

A documentação descreve o código como ele existe na árvore. Em caso de dúvida, as referências autoritativas são:

  • docs/superpowers/specs/2026-11-11-pf-linux-port-design.md — design
  • docs/superpowers/plans/2026-11-11-pf-linux-port.md — plano de milestones (tarefas T1–T19)
  • docs/porting-notes.md — log de staging + registro de desvios da camada de compat (M1)

Vocabulário de status usado em todos os documentos:

  • VERIFIED-in-VM — exercitado de ponta a ponta na bancada libvirt (ver vm-lab.md).
  • COMPILES-untested — o código compila no pf.ko, mas nenhum gate provou o comportamento ainda.
  • PENDING-Mx — entra (ou entra por completo) no milestone Mx; o comportamento observável hoje está documentado.