Ola! Gostaria de saber se tem mais alguém utilizando o Raspberry Pi com FreeBSD, Não encontro documentação de como alterar a frequência do processador, bem como controlar suas saídas GPIO. Abraços,