Andrew Turner a19c0b37e9 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
2016-02-28 13:43:58 +00:00
..
2016-02-11 06:19:32 +00:00
2015-04-16 22:34:10 +00:00
2014-10-04 05:03:39 +00:00