pl011 UART driver (as used on Raspberry Pi) baud rate divisor

[Steven Lawrance]

Excerpts from Jakob Alvermark's message of 2013-10-22 10:37:14 +0200:
> Cool, I have the OLinuXino-MICRO myself.
> How do you boot it? U-boot?

Yep, using U-Boot and ubldr.  I'm actually using crochet to build
images for the SD card, which needed a couple of extra steps to create
a "bootstream" image to go into the first partition.  The tool you
need for that is called elftosb, mentioned here:

http://www.jann.cc/2013/02/07/u_boot_for_the_imx233_olinuxino.html

It compiles fine on FreeBSD with a couple of trivial modifications.
Perhaps a port for that would be nice?

> I guess you know NetBSD recently got support:
> http://www.asd.fi/cgi-bin/blog.cgi/NetBSD/NetBSD_OLinuXino.1024px

Thanks, I hadn't seen that.

Steven