GPIO on Raspberry Pi

Alexander Yerenkow yerenkow at
Sun Sep 16 14:40:43 UTC 2012

2012/9/16 Sevan / Venture37 <venture37 at>

> Hi,

I managed to get FreeBSD/arm on a Raspberry Pi this weekend, kernel is
> booted from an SD card & root fs is mounted via a USB flash drive (by
> hardcoding the path in the kernel config 'options
> ROOTDEVNAME=\"ufs:/dev/da0s1a\"'
> I was unable to mount / from the sd card otherwise as it appears the
> SD is not detected by the kernel, also if there's no cable plugged
> into the ethernet port the kernel doesn't detect the interface.
> Hi. We really need get gonzo@ back from vacation, or where he is now :)
Internal SD is working via
device sdhci
(patch available for head at , but seems
incomplete, kernel not building ok for me)

> dmesg up at
> 10.0-CURRENT FreeBSD 10.0-CURRENT #4 r240529: Sun Sep 16 11:56:48 BST 2012
> I was wondering what status of GPIO support for the pi is, kernel
> manages to build happily with device gpio & gpioled specified but I
> don't see anything related to gpio when I boot the kernel.
> Regards
> Sevan / Venture37
> _______________________________________________
> freebsd-current at mailing list
> To unsubscribe, send any mail to "freebsd-current-unsubscribe at"

Alexander Yerenkow

More information about the freebsd-current mailing list