FreeBSD suporta Raspberry Pi desde novembro de 2012.

Raspberry Pi é um computador do tamanho de um cartão de crédito desenvolvido no Reino Unido pela Fundação Raspberry Pi. Todo o hardware é integrado em uma única placa. O objetivo principal é de estimular o ensino de ciência da computação básica em escolas.^1 2 34 5

A Fundação Raspberry Pi começou a aceitar pedidos do modelo de US$35 a partir de 29 de fevereiro de 2012.⁶

O computador é baseado em um system on a chip (SoC) Broadcom BCM2835,⁷ que inclui um processador ARM1176JZF-S de 700 MHz, GPU VideoCore IV,⁸ e 512 MB de memória RAM em sua última revisão. O projeto não inclui uma memória não-volátil – como um disco rígido - mas possui uma entrada de cartão SD para armazenamento de dados.⁹

Como inicializar o Raspberry Pi?

A partir de janeiro de 2013, FreeBSD no Raspberry é suportado com um console de vídeo (você vai precisar de um teclado USB e display conectado) ou pode ser configurado para usar um console serial (você vai precisar de um cabo adaptador serial).

Após a ligação de vídeo, teclado e inserir o cartão SD, você deve ligar a fonte nele, para iniciar o seu Boot.

A imagem de boot do FreeBSD para Raspberry Pi tem partições FAT e partições UFS, contendo os seguintes arquivos:

• FAT Partition
  • bootcode.bin – First stage boot
  • start.elf – Second stage boot
  • config.txt – configuration for start.elf
  • rpi.dtb – FDT file loaded via config.txt
  • uboot.bin – Third stage: U-Boot loader
  • uEnv.txt – configuration file for U-Boot
  • ubldr – Fourth stage: FreeBSD bootloader
• UFS Partition
  • /boot/kernel – dynamic kernel
  • … rest of FreeBSD …

Como construir uma imagem:

O esquema acima pode ser utilizado para construir uma imagem manualmente. Você vai precisar das fontes U-Boot a partir de:

git://github.com/gonzoua/u-boot-pi.git

Estas fontes podem ser construídos com o FreeBSD xdev compiler.

Você também vai precisar dos arquivos de firmware de inicialização do Rasberry PI.

https://github.com/raspberrypi/firmware/tree/master/boot

Instruções originais do Oleksandr para a construção de uma imagem Raspberry Pi:

Documentado Aqui

Raspberry Pi também é apoiado pelo Crochet build tool.

Algumas dicas:

• fluxbox trava quando invocado como ‘startfluxbox “, mas funciona quando se inicia com’ startx ‘(que então começa fluxbox):
  

(gdb) bt f
#0  0x20614a7c in _Unwind_SjLj_ForcedUnwind () from /lib/libgcc_s.so.1
No symbol table info available.
#1  0x2076879c in pthread_setspecific () from /lib/libc.so.7

• libsbuf parece desencadear um SIGSEGVe sob certas condições
• árvore de ports com WITH_NEW_XORG (revisão SVN 740-856)
• todos os pacotes construídos sem HAL, e qualquer opção de ‘make config’ para NLS/examples/DOCS foi desligado
• sem outras modificações significativas

Snapshots:

Snapshots do Raspberry Pi estão disponíveis aqui. Estes são em formato xz. E precisa ser descompactado antes do uso.

Redimensionar sistema de arquivos da unidade flash:

É possível aumentar o sistema de arquivos padrão usando uma combinação de gpart e growfs.

root@raspberry-pi:/home/pi # gpart show mmcsd0
=>      63  15523777  mmcsd0  MBR  (7.4G)
        63     65520       1  !12  [active]  (32M)
     65583   4128705       2  freebsd  (2G)
   4194288  11329552          - free -  (5.4G)

root@raspberry-pi:/home/pi # gpart resize -i 2 mmcsd0
mmcsd0 resized
root@raspberry-pi:/home/pi # gpart show mmcsd0
=>      63  15523777  mmcsd0  MBR  (7.4G)
        63     65520       1  !12  [active]  (32M)
     65583  15458247       2  freebsd  (7.4G)
  15523830        10          - free -  (5.0k)

root@raspberry-pi:/home/pi # reboot

[ After reboot ]

root@raspberry-pi:/home/pi # gpart show
=>      63  15523777  mmcsd0  MBR  (7.4G)
        63     65520       1  !12  [active]  (32M)
     65583  15458247       2  freebsd  (7.4G)
  15523830        10          - free -  (5.0k)

=>       0  15458247  mmcsd0s2  BSD  (7.4G)
         0   4128705         1  freebsd-ufs  (2G)
   4128705  11329542            - free -  (5.4G)

root@raspberry-pi:/home/pi # gpart resize -i 1 mmcsd0s2
mmcsd0s2a resized
root@raspberry-pi:/home/pi # gpart show mmcsd0s2
=>       0  15458247  mmcsd0s2  BSD  (7.4G)
         0  15450065         1  freebsd-ufs  (7.4G)
  15450065      8182            - free -  (4M)
root@raspberry-pi:/home/pi # growfs /
Device is mounted read-write; resizing will result in temporary write suspension for /.
It's strongly recommended to make a backup before growing the file system.
OK to grow filesystem on /dev/mmcsd0s2a, mounted on /, from 2GB to 7.4GB? [Yes/No] Yes
super-block backups (for fsck -b #) at:
 4128960, 5161152, 6193344, 7225536, 8257728, 9289920, 10322112, 11354304,
 12386496, 13418688, 14450880