Jeffrey Townsend 6db6880d48 - Add PIIX ...

- Set CONFIG_ARCH_NR_GPIOS to 512.

2017-01-07 18:08:21 +00:00

..

base

- Add PIIX

2017-01-07 18:08:21 +00:00

platforms

Upgrade to 3.16 LTS

2017-01-04 20:56:14 +00:00

platforms-closed @ cca1d45c99

Dell cold restart.

2017-01-05 04:09:03 +00:00

Makefile

Initial.

2015-11-13 21:16:52 +00:00