I have a meta-question. I just started working on getting a Raspberry Pi to work, and fortunately I can run FreeBSD on it. Many things worked right off the bat. Some haven't worked yet, and in most cases I haven't had time to investigate and just list them as open problems for later. So far so good.
The meta-question is: What is the best place to discuss questions that are both Pi and FreeBSD specific? Clearly, if I have a generic FreeBSD question (like: how to I increase the size of my /tmp file system), the general section of this Forum is the right place to ask. That's obvious. Clearly, if I have a Pi-specific question that's not OS-specific (like: can I power the Pi from pins 1...3 on the GPIO connector, and how much current can GPIO pins source at 3.3V), I think the right place to ask is the forum at raspberrypi.org. Is it?
But what about questions that are in the overlap? For example: How do I enable audio in the FreeBSD 12.0-current build on a RPi3, and can I switch in software between the audio coming out of the connector on the PC board versus on the HDMI connector? What are good places to ask such questions, or help others with similar questions?
P.S. Don't bother answering that one particular question about audio ... I'll figure that out with 5 minutes of web searching next time I have 5 minutes. It was just an example of a OS- and device-specific question.
The meta-question is: What is the best place to discuss questions that are both Pi and FreeBSD specific? Clearly, if I have a generic FreeBSD question (like: how to I increase the size of my /tmp file system), the general section of this Forum is the right place to ask. That's obvious. Clearly, if I have a Pi-specific question that's not OS-specific (like: can I power the Pi from pins 1...3 on the GPIO connector, and how much current can GPIO pins source at 3.3V), I think the right place to ask is the forum at raspberrypi.org. Is it?
But what about questions that are in the overlap? For example: How do I enable audio in the FreeBSD 12.0-current build on a RPi3, and can I switch in software between the audio coming out of the connector on the PC board versus on the HDMI connector? What are good places to ask such questions, or help others with similar questions?
P.S. Don't bother answering that one particular question about audio ... I'll figure that out with 5 minutes of web searching next time I have 5 minutes. It was just an example of a OS- and device-specific question.