From unknown Sat Aug 16 00:28:17 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#33172 <33172@debbugs.gnu.org> To: bug#33172 <33172@debbugs.gnu.org> Subject: Status: [PATCH] gnu: linux-libre: Enable BOCHS DRM support. Reply-To: bug#33172 <33172@debbugs.gnu.org> Date: Sat, 16 Aug 2025 07:28:17 +0000 retitle 33172 [PATCH] gnu: linux-libre: Enable BOCHS DRM support. reassign 33172 guix-patches submitter 33172 Mathieu Othacehe severity 33172 normal tag 33172 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 27 04:41:53 2018 Received: (at submit) by debbugs.gnu.org; 27 Oct 2018 08:41:54 +0000 Received: from localhost ([127.0.0.1]:44528 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gGKAL-0004Yr-Kx for submit@debbugs.gnu.org; Sat, 27 Oct 2018 04:41:53 -0400 Received: from eggs.gnu.org ([208.118.235.92]:53687) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gGKAJ-0004Ya-HI for submit@debbugs.gnu.org; Sat, 27 Oct 2018 04:41:52 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gGKA8-00007p-8P for submit@debbugs.gnu.org; Sat, 27 Oct 2018 04:41:45 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:43184) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gGKA5-00006K-QL for submit@debbugs.gnu.org; Sat, 27 Oct 2018 04:41:38 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:35036) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gGKA4-0001Cw-Tv for guix-patches@gnu.org; Sat, 27 Oct 2018 04:41:37 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gGK9w-0008SU-Sq for guix-patches@gnu.org; Sat, 27 Oct 2018 04:41:34 -0400 Received: from mail-pg1-x541.google.com ([2607:f8b0:4864:20::541]:42273) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gGK9t-0008P9-J3 for guix-patches@gnu.org; Sat, 27 Oct 2018 04:41:27 -0400 Received: by mail-pg1-x541.google.com with SMTP id i4-v6so1596038pgq.9 for ; Sat, 27 Oct 2018 01:41:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=jrUbgn2mweSvJMA8nGQa9yi8tj5W732lPhhE2uEfQzQ=; b=XDCu3Hinv3rHbBYLbvuUoLT5mBIRKOjybEg3az67xLSEmXuE73xtkf9g5b3v9VZGfc uiV/yiRwmHRLZHq/drI7a7qSs+6rR8X2XU27J6wMB3F5zn1aIwicNYlh5za/5BBgPWDs 3beiRogQpqO5HUSu/W0Mwep60RyvfDTwiZ56q9eI8Cj5ZknM9s2Ppdysf9tTcG0ceCvF 2RuVCdPnRiCeLW29Nf7qoKnn5PPMpAe/Q6XVRtQMT+9DwNt0rOqU3CzTC3+Z7E4QrzG0 h2CUeKEPCoGTi34r+xBXI9Vp854lKG2nBEosrQwGvMAHlNVPaEAWgaorvL3igLwZlntv jTVw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=jrUbgn2mweSvJMA8nGQa9yi8tj5W732lPhhE2uEfQzQ=; b=fMY91E6DVOQO9nvlgYjv/ndkfXzRUpIXy4A6/SPlcpzCg+hlgl0Zb7Ya6r0TYxwhIM h5C28zt3wuM1bcqLsqyh9JBVfCH4eNdAs6w9D2xNqIVT4v6/uWhRRMIAUOhs8zSojaYK cxVpqorbnWQXHFBbxmPXlASrjA3RfpXoO2fa7PbQo/u9ype1Xe2hrBEX4xmR3/gw88lS 6RAvoSFfEynhLQiRdcQiriVNwP67NvKEDCyFhqCHPG6t9y81Vw9l6yB+Ahl/ul8j1dbM gcR+nC92Qm+XXH5erVHT2BKKUfcbSOOjd8sHxVO55MAUriAiij9THhsDIAWRkR4dypkq VRzA== X-Gm-Message-State: AGRZ1gL5+33IWuAGWXDv0t3At0wqrp20gr2HhXOwhqJIgFZo+EQjbvdO 9Q1b5uZZit0bjx14AfCJt90= X-Google-Smtp-Source: AJdET5cPXZhLhJ5hl5UBp1usm3LWNSRXrDvKjiQy0Cx5gf9ES4cHsxNCaLIryW0UaHgCT6kpsy0m+Q== X-Received: by 2002:a63:d513:: with SMTP id c19mr6453706pgg.287.1540629681924; Sat, 27 Oct 2018 01:41:21 -0700 (PDT) Received: from everest (g1-27-253-251-80.bmobile.ne.jp. [27.253.251.80]) by smtp.gmail.com with ESMTPSA id d187-v6sm22240122pfc.60.2018.10.27.01.41.18 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 27 Oct 2018 01:41:21 -0700 (PDT) References: <20181027083051.7817-1-m.othacehe@gmail.com> User-agent: mu4e 1.0; emacs 26.1 From: Mathieu Othacehe To: guix-patches@gnu.org Subject: Re: [PATCH] gnu: linux-libre: Enable BOCHS DRM support. In-reply-to: <20181027083051.7817-1-m.othacehe@gmail.com> Date: Sat, 27 Oct 2018 17:41:12 +0900 Message-ID: <871s8bye6v.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit Cc: Mathieu Othacehe X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) 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 From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 27 17:19:26 2018 Received: (at 33172) by debbugs.gnu.org; 27 Oct 2018 21:19:26 +0000 Received: from localhost ([127.0.0.1]:45848 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gGVzS-0003ZE-At for submit@debbugs.gnu.org; Sat, 27 Oct 2018 17:19:26 -0400 Received: from eggs.gnu.org ([208.118.235.92]:54177) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gGVzQ-0003Yy-7X for 33172@debbugs.gnu.org; Sat, 27 Oct 2018 17:19:24 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gGVzH-0006P0-8g for 33172@debbugs.gnu.org; Sat, 27 Oct 2018 17:19:17 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:34348) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gGVz3-0006H6-Kt; Sat, 27 Oct 2018 17:19:01 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=56800 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1gGVz3-0003Eg-CN; Sat, 27 Oct 2018 17:19:01 -0400 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Mathieu Othacehe Subject: Re: [bug#33172] [PATCH] gnu: linux-libre: Enable BOCHS DRM support. References: <20181027083051.7817-1-m.othacehe@gmail.com> <871s8bye6v.fsf@gmail.com> Date: Sat, 27 Oct 2018 23:18:59 +0200 In-Reply-To: <871s8bye6v.fsf@gmail.com> (Mathieu Othacehe's message of "Sat, 27 Oct 2018 17:41:12 +0900") Message-ID: <87y3aj5br0.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 33172 Cc: Mark H Weaver , 33172@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) Hello Mathieu, Mathieu Othacehe skribis: > 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/ Looks interesting. >> * gnu/packages/aux-files/linux-libre/4.19-x86_64.conf: Build DRM BOCHS s= upport >> 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 th= e new >> "bochs-display" display device. >> * gnu/packages/aux-files/linux-libre/4.19-i686.conf: Ditto. Perhaps we should enable it on AArch64 as well? Mostly so that configs don=E2=80=99t diverge too much. Otherwise it LGTM. Mark, WDYT? Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 27 21:58:26 2018 Received: (at 33172) by debbugs.gnu.org; 28 Oct 2018 01:58:26 +0000 Received: from localhost ([127.0.0.1]:46115 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gGaLS-0001kM-3r for submit@debbugs.gnu.org; Sat, 27 Oct 2018 21:58:26 -0400 Received: from mail-pg1-f195.google.com ([209.85.215.195]:37415) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gGaLP-0001k3-SH for 33172@debbugs.gnu.org; Sat, 27 Oct 2018 21:58:24 -0400 Received: by mail-pg1-f195.google.com with SMTP id c10-v6so2237967pgq.4 for <33172@debbugs.gnu.org>; Sat, 27 Oct 2018 18:58:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version:content-transfer-encoding; bh=MsecDiNjF1vomIpZOdgGn9nMkKsgvYOa9BS5rX9mJLY=; b=T6kcob6+PEDEl8WCPL8Bz713ScH66VeVi+ipStbPTtg4nK7ykd6/h/kYU5E4ArpRfi hwxeQbSeXpVCIEgKye09tsbe9pQ+8RgKQlCCdC6fWvR8ggczBO6TBIkr7Iv2vvFI0rv3 BecAmxrNySGvrhV9e2oOzJ3JDe/CQLfKG6KyGr2OEusNFLb+svPJgle/cIiaFWauUjlL WXWoVCrhKKQ9OW2PvCWnpV3xAuEEa5LojEfTRnD5imQh34WGA8Ixm1oVRJBHOTWLOVlv DkwDz9oPm0fBZdls3yswWCkHulC/KJDKoEitmKkDiI8qBmafCIZo5Wxv9RptYGT/sl+J Bl/Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version:content-transfer-encoding; bh=MsecDiNjF1vomIpZOdgGn9nMkKsgvYOa9BS5rX9mJLY=; b=XgzDLZOpZwHejRlwYNTXBGZOT3wS7t6K27qmXuCqukkt51oWKMF1HfTZwe0se5rLba n95NCrEMMxSuzwG/rRTKWYrLosIzqND9aYgdFhTz8cv/WFKRnZ/ngl3OEfethcenHxuN XNxNpxgXkmt+mzbDGpxslE2SKIoZT4T9suiis1jbm//MvoBCcTjbYMTRnFMjKzKC8wtr BwxEyPXlrWIp+wqJZePe9mQeZTHJjoWrOAF9HI94nT/leYQIvfpwQqsL/z3RCBaAE7ST yTxLoeMaKWtslZRW071mcquYPfXtwwyWsrja3d66hJ0c49KuS4tV276GdFcq5p31tTaW HjXg== X-Gm-Message-State: AGRZ1gKGcZeQt8kMFlZXdB2vi7126YBwdOXCKyaFf+2DcxucMkPsYq1D r1voKH8GiefsYjKvlzXbhVO5rV4j X-Google-Smtp-Source: AJdET5esTrbPoxxYUFxmdc0xl0BHivJbfTdwNLOKoSJ711mwp+Ifjr+32plJMDgQILIclcGJuKNS8Q== X-Received: by 2002:a62:d405:: with SMTP id a5-v6mr9477681pfh.174.1540691897269; Sat, 27 Oct 2018 18:58:17 -0700 (PDT) Received: from everest (g1-27-253-251-68.bmobile.ne.jp. [27.253.251.68]) by smtp.gmail.com with ESMTPSA id r18-v6sm16290145pgv.17.2018.10.27.18.58.14 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 27 Oct 2018 18:58:16 -0700 (PDT) References: <20181027083051.7817-1-m.othacehe@gmail.com> <871s8bye6v.fsf@gmail.com> <87y3aj5br0.fsf@gnu.org> User-agent: mu4e 1.0; emacs 26.1 From: Mathieu Othacehe To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: [bug#33172] [PATCH] gnu: linux-libre: Enable BOCHS DRM support. In-reply-to: <87y3aj5br0.fsf@gnu.org> Date: Sun, 28 Oct 2018 10:58:10 +0900 Message-ID: <875zxmbznx.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 33172 Cc: Mark H Weaver , 33172@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi Ludo, > Perhaps we should enable it on AArch64 as well? Mostly so that configs > don=E2=80=99t diverge too much. It is already built as a module on our arm and arm64 configs. The arm config was taken from Debian and not derived from GuixSD intel configs, so it explains the divergence. I guess it is the same for the arm64 config. Thanks, Mathieu From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 27 22:28:44 2018 Received: (at 33172) by debbugs.gnu.org; 28 Oct 2018 02:28:44 +0000 Received: from localhost ([127.0.0.1]:46123 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gGaom-0002fh-Jk for submit@debbugs.gnu.org; Sat, 27 Oct 2018 22:28:44 -0400 Received: from world.peace.net ([64.112.178.59]:40920) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gGaoj-0002fT-UQ for 33172@debbugs.gnu.org; Sat, 27 Oct 2018 22:28:42 -0400 Received: from mhw by world.peace.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1gGaod-0004GE-V7; Sat, 27 Oct 2018 22:28:35 -0400 From: Mark H Weaver To: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [bug#33172] [PATCH] gnu: linux-libre: Enable BOCHS DRM support. References: <20181027083051.7817-1-m.othacehe@gmail.com> <871s8bye6v.fsf@gmail.com> <87y3aj5br0.fsf@gnu.org> Date: Sat, 27 Oct 2018 22:28:03 -0400 In-Reply-To: <87y3aj5br0.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Sat, 27 Oct 2018 23:18:59 +0200") Message-ID: <87pnvuajox.fsf@netris.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 33172 Cc: 33172@debbugs.gnu.org, Mathieu Othacehe X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Mathieu Othacehe skribis: > >> 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/ > > Looks interesting. > >>> * 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 t= he new >>> "bochs-display" display device. >>> * gnu/packages/aux-files/linux-libre/4.19-i686.conf: Ditto. Looks good to me, please push. > Perhaps we should enable it on AArch64 as well? Mostly so that configs > don=E2=80=99t diverge too much. I just checked, and it's already enabled in our ARM and ARM64 configs. FYI, our x86_64 and i686 configs were originally copied from , and that's where the decision to disable CONFIG_DRM_BOCHS originally came from. In that repo, you can see signs of indecision about whether to include that module. It was disabled in Jason's configs for 3.14-4.6, enabled in 4.7-4.15, disabled again in 4.16-4.18, and then enabled again in 4.19. Since around 4.1 or 4.2, I've stopped looking at and been using my own judgement about new kernel configuration options brought to my attention by "make oldconfig", but I haven't reviewed most of the older options. Anyway, thanks for the patch! Mark From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 28 07:59:24 2018 Received: (at 33172) by debbugs.gnu.org; 28 Oct 2018 11:59:24 +0000 Received: from localhost ([127.0.0.1]:46754 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gGjj1-0006M6-Pz for submit@debbugs.gnu.org; Sun, 28 Oct 2018 07:59:23 -0400 Received: from mail-pl1-f196.google.com ([209.85.214.196]:33569) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gGjj0-0006Lt-6b for 33172@debbugs.gnu.org; Sun, 28 Oct 2018 07:59:22 -0400 Received: by mail-pl1-f196.google.com with SMTP id x6-v6so2502306pln.0 for <33172@debbugs.gnu.org>; Sun, 28 Oct 2018 04:59:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=hV6nPX+mFdoQVhBSZYlki0MvgHv3OM303KUKaL7we3s=; b=NIvNAn9CTRRYk11dIalcEKN8sggqTyLxlpGR/pEk/XiTu+oG+O7nj0e4u0OxHRMI6b sPAsXDjcNmqMFN62JJHXmhdNpZq1UmwqYtcIEfYlZEe+7Zvy+9w/L4fT6DNKplpkgXqG 24PXp7HILrw+6hrDTJkTTSkOlliX/g3XAMUdRwchXMh/8Mb0nDClPJYVrale7UXMmRAf vdrWQAJORnSWjAmHZRko/iMjN6o3myQrS3p3knW60u9b80FZ6QO4/AtucdWeHnXeAHYf klqne8LUjlFjNHT5CQay3Ij2HRfau4e+9JBsAj3E+qp8yCxh3TGVMf7xg8zcTa01xSKC umMQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=hV6nPX+mFdoQVhBSZYlki0MvgHv3OM303KUKaL7we3s=; b=AjmfamNHNfiunEN4eA9m8ZrX6bn9NXI13+2z8U0riLTT+mv39iZ11lqjX7o5P5cBZx G30W6czMDuA+8SzVim1asLNpMUmadc0O+Wd1CpzV1EBxnhm2yPdSrK4GSc6AykawmO72 4L2yXaMvKSxp5LHxrpfrpBorMwR3iGWeaFZtbpSAsed36fK7BhRHAk/+bl9Htz5TmODF MKFQrXaqQJYcBaeLtGzSftcHLte6YFlzh4cISEj2vz+t3ZhLqNIVSt0Zv/BUQ6ejLjPD gqDnO9yvDQZWlXtvbJO3vzuAc5wkVeEo2DY9aTOckEE54rlIzskPHQIE/AE0ggXaEiAT sysg== X-Gm-Message-State: AGRZ1gKVKiUZ8ovmpf8i0/cXRMgI/SrDqK8UFqjkwW2MRfIKyzR8YZdH YcYRefkL2062aOa6yY9XsGeukMjr X-Google-Smtp-Source: AJdET5c3R60dntfGAQmmWKVHxOlc2ViuYJp2iOZT0GaToMZgr5iOCgthGbuY6R5zlbwe+5RI00MOHg== X-Received: by 2002:a17:902:1a7:: with SMTP id b36-v6mr10223078plb.240.1540727955936; Sun, 28 Oct 2018 04:59:15 -0700 (PDT) Received: from everest (p506075-ipngn200505niho.hiroshima.ocn.ne.jp. [180.49.233.75]) by smtp.gmail.com with ESMTPSA id 67-v6sm20034786pfk.134.2018.10.28.04.59.13 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sun, 28 Oct 2018 04:59:15 -0700 (PDT) References: <20181027083051.7817-1-m.othacehe@gmail.com> <871s8bye6v.fsf@gmail.com> <87y3aj5br0.fsf@gnu.org> <87pnvuajox.fsf@netris.org> User-agent: mu4e 1.0; emacs 26.1 From: Mathieu Othacehe To: Mark H Weaver Subject: Re: [bug#33172] [PATCH] gnu: linux-libre: Enable BOCHS DRM support. In-reply-to: <87pnvuajox.fsf@netris.org> Date: Sun, 28 Oct 2018 20:59:10 +0900 Message-ID: <874ld6b7u9.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 33172 Cc: Ludovic =?utf-8?Q?Court=C3=A8s?= , 33172@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi Mark, > FYI, our x86_64 and i686 configs were originally copied from > , and that's where the > decision to disable CONFIG_DRM_BOCHS originally came from. In that > repo, you can see signs of indecision about whether to include that > module. It was disabled in Jason's configs for 3.14-4.6, enabled in > 4.7-4.15, disabled again in 4.16-4.18, and then enabled again in 4.19. > > Since around 4.1 or 4.2, I've stopped looking at > and been using my own > judgement about new kernel configuration options brought to my attention > by "make oldconfig", but I haven't reviewed most of the older options. > > Anyway, thanks for the patch! Thank you for the explanation and the review! Pushed as 81f12f33b70855c0a99d5c2f1c2526e4a21b9823. Mathieu From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 28 09:08:21 2018 Received: (at control) by debbugs.gnu.org; 28 Oct 2018 13:08:21 +0000 Received: from localhost ([127.0.0.1]:46807 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gGknk-0007zg-T9 for submit@debbugs.gnu.org; Sun, 28 Oct 2018 09:08:21 -0400 Received: from mail-pl1-f169.google.com ([209.85.214.169]:37637) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gGknj-0007zR-37 for control@debbugs.gnu.org; Sun, 28 Oct 2018 09:08:19 -0400 Received: by mail-pl1-f169.google.com with SMTP id bh10-v6so2531257plb.4 for ; Sun, 28 Oct 2018 06:08:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:message-id:to:from:subject; bh=1j5u5tsXSU17v1JYDiD0T2pFG2D+xBkHGYKnecMtVvA=; b=BZ/UFSp+PalxByjpATDaMx0OJ0dYZ6fhNHI2eXvmYJvRceyBscSdOmeCFz8tKYnj6f oZfwEjOexPY0JFybKfw6YmAgfU+bAHqsvTwQAGkE3VVpMJdcWs21aFPZJFhYGaOeRSZh tr3/AXvslYdUl3Zqh/mXj+srnhjOGZYbOzBCnITuoqQ1p0wRyil2cop8oKx/IMHN7xCR yvJe9xILKasjJSmIhfqzfQWe1kYexMdpqVgg0ph2HbYbkXh5Xi7ilOTPlY3yr+RSaHY/ iJmBo9V452CSHd/mDeRbHSrdZu5ChQopYVDhdNppgouv7e4RfvPJ5q2p2peLw189N3mS CYsQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:message-id:to:from:subject; bh=1j5u5tsXSU17v1JYDiD0T2pFG2D+xBkHGYKnecMtVvA=; b=pB9tSM0/kl8mLHJYXpQ+rqH6RzrAvBuZbgMpuJILLdYvJ1dFhU+IkOPZi7wKXAqnU9 Uo9/I82U0HcJ9heyxcpAcdizj5GOdCKVPCy5FBN2bttskUdpBUjsa+mF8syo+9OvAhZy ++6H513Z6v1dANxYmcP+UU4fzZdtmBdTwtOzG+igd8g6vOjwBYg2zPeaYWwF8RRuEAOc 4yrh7xuX4ebq4iNSgMv21lkf6iYecvkCnYStoczg8sP8WfA99c6WMadRZZ72sxYODO4O yv4BtGYynLoCAB8NOUaqAq1d+y7943taUox3zEu8wBmbGGAZIokgfck7vSoMTqipOFbX R9Sw== X-Gm-Message-State: AGRZ1gKEINmPUAKE1WX8LPQ7lATCOpnkPzJFc4JHiiwm/XMh0aydVgIU UNm+ksZiXrYo6CtBixq5hShxOywD X-Google-Smtp-Source: AJdET5exUjqph3XSGFBgedt4Mv2/Mvag9OtZqUeHAd2gZRHy6h8quUt9KuKJ9HQtVHmn99GBjr9wpQ== X-Received: by 2002:a17:902:205:: with SMTP id 5-v6mr10535980plc.307.1540732093127; Sun, 28 Oct 2018 06:08:13 -0700 (PDT) Received: from everest (p506075-ipngn200505niho.hiroshima.ocn.ne.jp. [180.49.233.75]) by smtp.gmail.com with ESMTPSA id o1-v6sm17831381pgq.21.2018.10.28.06.08.11 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sun, 28 Oct 2018 06:08:12 -0700 (PDT) Date: Sun, 28 Oct 2018 22:08:08 +0900 Message-Id: <871s8ab4nb.fsf@gmail.com> To: control@debbugs.gnu.org From: Mathieu Othacehe Subject: control message for bug #33172 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) close 33172 From unknown Sat Aug 16 00:28:17 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 26 Nov 2018 12:24:08 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator