Andrew Turner d8b624dcab Update the Allwinner kernels:
* Use the ARM PLATFORM framework
 * Use ARM_INTRNG on teh A20 as it has a GICv2
 * Add a method to find which Allwinner SoC we are running on

Differential Revision:	https://reviews.freebsd.org/D5059
2016-01-25 00:24:57 +00:00
..
A20
2016-01-25 00:24:57 +00:00
2015-10-25 22:00:56 +00:00
2016-01-25 00:24:57 +00:00