diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2019-01-04 09:27:31 +0100 |
|---|---|---|
| committer | Michael S. Tsirkin <mst@redhat.com> | 2019-02-04 00:08:58 -0500 |
| commit | da054c646c777bcb487326f46cd5bf9932b05128 (patch) | |
| tree | 09262b1a23eea5decb6604e85a6fcc748d1d3346 /roms | |
| parent | a0a6ef91a4a4edde27b808f28065772c712c5e92 (diff) | |
include: update Linux headers to 4.21-rc1/5.0-rc1
This is simply running the newly-updated script on Linux, in
order to obtain the new header files and all the other updates
from the recent Linux merge window.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Reviewed-by: Michael S. Tsirkin <mst@redhat.com>
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
Diffstat (limited to 'roms')
0 files changed, 0 insertions, 0 deletions