On Fri, Jan 04, 2019 at 09:27:29AM +0100, Paolo Bonzini wrote:
> This is the same patch I've sent, except that scripts/update-linux-headers.sh
> changes are split to a separate commit.
>
> Paolo
Reviewed-by: Michael S. Tsirkin
> Paolo Bonzini (2):
> scripts/update-linux-headers.sh: adjust for
This is the same patch I've sent, except that scripts/update-linux-headers.sh
changes are split to a separate commit.
Paolo
Paolo Bonzini (2):
scripts/update-linux-headers.sh: adjust for Linux 4.21-rc1 (or
5.0-rc1)
include: update Linux headers to 4.21-rc1/5.0-rc1
include/standard-heade
