ARM platform page on website

[M. Warner Losh]

In message: <20080309170425.O3822 at ury.york.ac.uk>
            Gavin Atkinson <gavin.atkinson at ury.york.ac.uk> writes:
: Hi all,
: 
: I've just submitted a patch to update the ARM platform page at 
: http://www.freebsd.org/platforms/arm.html - to bring it more up to date 
: with the progress made on the ARM port oiver the last year or two.  I 
: wonder if anyone could just have a quick look over it, and make sure all 
: of the additions are valid?  I've got most of the info from this mailing 
: list and the source so I'm pretty sure it is OK, but it would be good to 
: get someone who has more knowledge of ARM to have a scan over it.
: 
: The PR is at http://www.freebsd.org/cgi/query-pr.cgi?pr=www/121533

The Hot-E isn't a development board, but an actual product.  Other
than that, this looks good.

The installation guide likely needs improvement too...

Warner