2 * Board specific setup info
4 * (C) Copyright 2003, ARM Ltd.
5 * Philippe Robin, <philippe.robin@arm.com>
7 * SPDX-License-Identifier: GPL-2.0+
12 /* Set up the platform, once the cpu has been initialized */
16 /* All done by Versatile's boot monitor! */