Re: RPI3 serlial clock confusion?

[Greg Troxel <gdt%lexort.com@localhost>]

Michael van Elst <mlelstv%serpens.de@localhost> writes:

> We (and others) use the mini uart for console on RPI3 to keep the
> real UART for bluetooth. The mini uart has a limited FIFO, which
> means you cannot run bluetooth at best speed. It would also be
> subject to the changes in the core frequencies like the console is
> now.
>
> You can chose what you want to get:
>
> - have problems with serial console, that's the default
> - have problems with bluetooth
> - run on fixed frequency
>
> You can use settings in config.txt and/or load a DTB overlay to
> select this.  So there are only two questions, what should be the
> default and how easy is it for a user to do this configuration.

The third question is if a user starting to read at

  http://wiki.netbsd.org/ports/evbarm/raspberry_pi/

will come to understand this.

I am realizing that this notion of mini/real UART confusing.  I am
guessing there is some internal plumbing to connect the console (serial
port) IO pins to one or the other, and similarly for tbluetooth, and
this is controlled in dtb choice, but I have no real clue about how to
do this.