2012/9/16 Sevan / Venture37 <ventur...@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@freebsd.org mailing list > http://lists.freebsd.org/mailman/listinfo/freebsd-current > To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org" > -- Regards, Alexander Yerenkow _______________________________________________ freebsd-current@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"