[bug#33172] [PATCH] gnu: linux-libre: Enable BOCHS DRM support.

[Mathieu Othacehe]

Hi,

This article might help to understand what's new in QEMU 3.0 with VGA
emulation.

https://www.kraxel.org/blog/2018/10/qemu-vga-emulation-and-bochs-display/

Thanks,

Mathieu

Mathieu Othacehe writes:

> * gnu/packages/aux-files/linux-libre/4.19-x86_64.conf: Build DRM BOCHS support
> as a module.  It adds DRM support for BOCHS dispi vga interface used by
> qemu (-vga std option). It will also be useful for QEMU 3.0 to enable the new
> "bochs-display" display device.
> * gnu/packages/aux-files/linux-libre/4.19-i686.conf: Ditto.
> ---
>  gnu/packages/aux-files/linux-libre/4.19-i686.conf   | 2 +-
>  gnu/packages/aux-files/linux-libre/4.19-x86_64.conf | 2 +-
>  2 files changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/aux-files/linux-libre/4.19-i686.conf 
> b/gnu/packages/aux-files/linux-libre/4.19-i686.conf
> index 07a035be9..c1df3f0f4 100644
> --- a/gnu/packages/aux-files/linux-libre/4.19-i686.conf
> +++ b/gnu/packages/aux-files/linux-libre/4.19-i686.conf
> @@ -5949,7 +5949,7 @@ CONFIG_DRM_AST=m
>  # CONFIG_DRM_MGAG200 is not set
>  CONFIG_DRM_CIRRUS_QEMU=m
>  CONFIG_DRM_QXL=m
> -# CONFIG_DRM_BOCHS is not set
> +CONFIG_DRM_BOCHS=m
>  CONFIG_DRM_VIRTIO_GPU=m
>  CONFIG_DRM_PANEL=y
>  
> diff --git a/gnu/packages/aux-files/linux-libre/4.19-x86_64.conf 
> b/gnu/packages/aux-files/linux-libre/4.19-x86_64.conf
> index 0e102c87d..a8f8c8164 100644
> --- a/gnu/packages/aux-files/linux-libre/4.19-x86_64.conf
> +++ b/gnu/packages/aux-files/linux-libre/4.19-x86_64.conf
> @@ -5853,7 +5853,7 @@ CONFIG_DRM_AST=m
>  # CONFIG_DRM_MGAG200 is not set
>  CONFIG_DRM_CIRRUS_QEMU=m
>  CONFIG_DRM_QXL=m
> -# CONFIG_DRM_BOCHS is not set
> +CONFIG_DRM_BOCHS=m
>  CONFIG_DRM_VIRTIO_GPU=m
>  CONFIG_DRM_PANEL=y