K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-02-28T13:43:58.824416Z
K 7
svn:log
V 278
Add SMP support to the ARM PLATFORM code. This will allow us to have
different methods to start the secondary cores in a kernel built for
multiple SoCs, e.g. with the Allwinner A20 and A31.

Sponsored by:	ABT systems Ltd
Differential Revision:	https://reviews.freebsd.org/D5466

END