GPIO on Raspberry Pi

[Alexander Yerenkow]

2012/9/16 Sevan / Venture37 <venture37 at gmail.com>

> 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 people.freebsd.org/~gozno/patches/ , but seems
incomplete, kernel not building ok for me)




> dmesg up at http://www.nycbug.org/?action=dmesgd&dmesgid=2417
> 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 freebsd.org mailing list
> http://lists.freebsd.org/mailman/listinfo/freebsd-current
> To unsubscribe, send any mail to "freebsd-current-unsubscribe at freebsd.org"
>



-- 
Regards,
Alexander Yerenkow