K 10 svn:author V 2 db K 8 svn:date V 27 2018-06-12T13:26:31.560723Z K 7 svn:log V 158 Add a driver for the BCM2835 Mini-UART as seen on the RPi3 Reviewed by: andrew Approved by: andrew Differential Revision: https://reviews.freebsd.org/D15684 END