tree 86646c09e6b26a1500d1f92149214fefc7b76d4a
parent 235b185ce47ce64793362bd3ae4bcd8afc6b57b8
author Simon Richter <Simon.Richter@kleinhenz.com> 1175519189 +0100
committer Russell King <rmk+kernel@arm.linux.org.uk> 1177185668 +0100

[ARM] 4300/1: Add picotux 200 ARM board

Add the picotux 200 ARM board:
 - Enable its machine type in the filter in head.S
 - Add configuration option
 - Add board initialisation
 - Add default configuration

Signed-off-by: Simon Richter <Simon.Richter@kleinhenz.com>
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>