tree 2ffaa3f76d8d7524e35540887e86101904a5ea96
parent b37ed70efed0c6a38c76655136ff900479d30408
author Andre Przywara <andre.przywara@arm.com> 1463406294 +0100
committer Will Deacon <will.deacon@arm.com> 1463491949 +0100

kvmtool: add script for updating kernel headers

From time to time (when new KVM kernel features get enabled in kvmtool),
we need to update the public kernel headers from a recent Linux tree.
Provide a script that makes sure we get the right files and that also
covers every architecture.

Signed-off-by: Andre Przywara <andre.przywara@arm.com>
Signed-off-by: Will Deacon <will.deacon@arm.com>