Trammell Hudson a6520772dc
Update Heads to use the 4.9 Linux LTS kernel.
No patches are required to boot 4.9 as a coreboot payload,
unlike the 4.7 kernel that required a head_64.S patch.

The new kernel is about 40 KB larger than the 4.7; the
config might be shrinkable.

Close issue #61.
2016-12-12 11:01:18 -05:00
..
2016-11-29 11:28:05 -05:00
2016-11-29 11:28:05 -05:00
2016-11-29 11:28:05 -05:00
2016-11-29 11:28:05 -05:00
2016-11-29 11:28:05 -05:00
xen
2016-11-29 11:28:05 -05:00