bug-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 1/6] Make linux drivers optional


From: Samuel Thibault
Subject: Re: [PATCH 1/6] Make linux drivers optional
Date: Sun, 28 Mar 2021 23:10:43 +0200
User-agent: NeoMutt/20170609 (1.8.3)

Damien Zammit, le dim. 28 mars 2021 17:03:15 +1100, a ecrit:
> diff --git a/linux/configfrag.ac b/linux/configfrag.ac
> index 78b59d7f..6fb60935 100644
> --- a/linux/configfrag.ac
> +++ b/linux/configfrag.ac
> @@ -33,6 +33,8 @@ dnl USE OF THIS SOFTWARE.
>      '')
>        # No group.
>        :;;
> +    block)
> +      device_driver_group_block=selected;;
>      net)
>        device_driver_group_net=selected;;
>      pcmcia)

I applied the part that adds the group. I don't think the qemu part
needs to be tinkered?

Samuel



reply via email to

[Prev in Thread] Current Thread [Next in Thread]