commit | 45b624bec1db1806043e4687f9e843d3382418cd | [log] [tgz] |
---|---|---|
author | Andre Przywara <andre.przywara@arm.com> | Mon May 16 13:44:54 2016 |
committer | Will Deacon <will.deacon@arm.com> | Tue May 17 13:32:29 2016 |
tree | 2ffaa3f76d8d7524e35540887e86101904a5ea96 | |
parent | b37ed70efed0c6a38c76655136ff900479d30408 [diff] |
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>