From mboxrd@z Thu Jan  1 00:00:00 1970
From: Stephen Warren <swarren@wwwdotorg.org>
Date: Sat, 5 Mar 2016 23:26:05 -0700
Subject: [U-Boot] [PATCH] serial: pl01x: Add support for devices with
 the rate pre-configured.
In-Reply-To: <56B57461.2090104@wwwdotorg.org>
References: <1454708607-1155-1-git-send-email-eric@anholt.net>
 <56B57461.2090104@wwwdotorg.org>
Message-ID: <56DBCD7D.7040000@wwwdotorg.org>
List-Id: <u-boot.lists.denx.de>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
To: u-boot@lists.denx.de

On 02/05/2016 09:19 PM, Stephen Warren wrote:
> On 02/05/2016 02:43 PM, Eric Anholt wrote:
>> For Raspberry Pi, we had the input clock rate to the pl011 fixed in
>> the rpi.c file, but it may be changed by firmware due to user changes
>> to config.txt.  Since the firmware always sets up the uart (default
>> 115200 output unless the user changes it), we can just skip our own
>> uart init to simplify the boot process and more reliably get serial
>> output.
>
> Tested-by: Stephen Warren <swarren@wwwdotorg.org>
> (With a 6MHz init_uart_clock and with/without init_uart_baud=9600)

Simon/Tom, did this slip through the cracks, or are you deferring it 
until the next release?