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_at_ 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 YerenkowReceived on Sun Sep 16 2012 - 12:40:43 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:40:30 UTC