From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id iKXfOOgjs16mTQAA0tVLHw (envelope-from ) for ; Wed, 06 May 2020 20:54:00 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id YBPRM/Qjs16URgAAB5/wlQ (envelope-from ) for ; Wed, 06 May 2020 20:54:12 +0000 Received: from lists.gnu.org (lists.gnu.org [IPv6:2001:470:142::17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id ABC1E940B2B for ; Wed, 6 May 2020 20:54:10 +0000 (UTC) Received: from localhost ([::1]:46694 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jWR3S-0004BR-7n for larch@yhetil.org; Wed, 06 May 2020 16:54:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:38530) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jWR3K-0004AV-B6 for bug-guix@gnu.org; Wed, 06 May 2020 16:54:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:58053) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jWR3K-0000eE-2C for bug-guix@gnu.org; Wed, 06 May 2020 16:54:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jWR3K-0003sc-0W for bug-guix@gnu.org; Wed, 06 May 2020 16:54:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#41082: nomodeset Resent-From: Danny Milosavljevic Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Wed, 06 May 2020 20:54:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 41082 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: "pelzflorian (Florian Pelz)" , Brice Waegeneire Received: via spool by 41082-submit@debbugs.gnu.org id=B41082.158879840114846 (code B ref 41082); Wed, 06 May 2020 20:54:01 +0000 Received: (at 41082) by debbugs.gnu.org; 6 May 2020 20:53:21 +0000 Received: from localhost ([127.0.0.1]:41361 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jWR2e-0003rN-L3 for submit@debbugs.gnu.org; Wed, 06 May 2020 16:53:20 -0400 Received: from dd26836.kasserver.com ([85.13.145.193]:47274) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jWR2c-0003rF-P1 for 41082@debbugs.gnu.org; Wed, 06 May 2020 16:53:19 -0400 Received: from localhost (80-110-127-207.cgn.dynamic.surfer.at [80.110.127.207]) by dd26836.kasserver.com (Postfix) with ESMTPSA id AEA6A33634E1; Wed, 6 May 2020 22:53:16 +0200 (CEST) Date: Wed, 6 May 2020 22:53:11 +0200 From: Danny Milosavljevic Message-ID: <20200506225311.597322f0@scratchpost.org> In-Reply-To: <20200506081905.5yfdk3j7y237fdj2@pelzflorian.localdomain> References: <87sggezhc4.fsf@gmail.com> <874kstd00f.fsf@gmail.com> <20200506081905.5yfdk3j7y237fdj2@pelzflorian.localdomain> X-Mailer: Claws Mail 3.17.5 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_/uduF518TTmkVC/O3fl.S/GM"; protocol="application/pgp-signature"; micalg=pgp-sha512 X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.7 (-) X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 41082@debbugs.gnu.org Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Scanner: scn0 X-Spam-Score: -1.11 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 2001:470:142::17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Scan-Result: default: False [-1.11 / 13.00]; RCVD_VIA_SMTP_AUTH(0.00)[]; GENERIC_REPUTATION(0.00)[-0.49698315224774]; TO_DN_SOME(0.00)[]; R_SPF_ALLOW(-0.20)[+ip6:2001:470:142::/48:c]; IP_REPUTATION_HAM(0.00)[asn: 22989(0.11), country: US(-0.00), ip: 2001:470:142::17(-0.50)]; DWL_DNSWL_FAIL(0.00)[2001:470:142::17:server fail]; MX_GOOD(-0.50)[cached: eggs.gnu.org]; MAILLIST(-0.20)[mailman]; FORGED_RECIPIENTS_MAILLIST(0.00)[]; RCVD_IN_DNSWL_FAIL(0.00)[2001:470:142::17:server fail]; RCVD_TLS_LAST(0.00)[]; R_DKIM_NA(0.00)[]; ASN(0.00)[asn:22989, ipnet:2001:470:142::/48, country:US]; MID_RHS_MATCH_FROM(0.00)[]; TAGGED_FROM(0.00)[larch=yhetil.org]; ARC_NA(0.00)[]; FROM_NEQ_ENVFROM(0.00)[dannym@scratchpost.org,bug-guix-bounces@gnu.org]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[3]; URIBL_BLOCKED(0.00)[gnu.org:url,pelzflorian.de:email]; MIME_GOOD(-0.20)[multipart/signed,text/plain]; MIME_TRACE(0.00)[0:+,1:+,2:~]; DMARC_NA(0.00)[scratchpost.org]; HAS_LIST_UNSUB(-0.01)[]; RECEIVED_SPAMHAUS_PBL(0.00)[80.110.127.207:received]; RCVD_COUNT_SEVEN(0.00)[8]; FORGED_SENDER_MAILLIST(0.00)[] X-TUID: qU6Ze0y/k3oA --Sig_/uduF518TTmkVC/O3fl.S/GM Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi, On Wed, 6 May 2020 10:19:05 +0200 "pelzflorian (Florian Pelz)" wrote: > (but the video resolution should be adjusted, probably something higher t= han > 1024x768 is supported by the system). > We could add a uvesafb-service-type to its own gnu/services/=E2=80=A6.scm. > Autodetection of the best usable resolution via v86d:testvbe could be > added (however the best resolution usable with uvesafb may be less > than the screen=E2=80=99s resolution). That could maybe cause something not to work too. I know I keep harping on that, but our generation feature only helps if the= re actually is a previous generation to go back too. So any "improvement" to what the installer did, which obviously worked if Guix boots up, could also cause the finished installation not to work--and without recourse. (Hmm, but then there's nothing preventing us from reconfiguring twice in the installer) > One way such a uvesafb-service-type could work is exactly like in the > installler. Would it be right to add a uvesafb service that runs > modprobe itself? Why not have uvesafb-service-type extend kernel-module-loader-service-type and give it a module to load unconditionally? That would make the whole thing more declarative, which we usually want in Guix. If that's not possible, sure, the uvesafb service could also modprobe stuff on its own. > Another way is to extend etc-service-type for this the way I wrote at > . > Extending other services seems cleaner, but in the discussions by > Brice Waegeneire and Danny Milosavljevic (I put them in Cc) they were > not really satisfied with etc-service-type. Well, it's okay--but we could also make a proper service that would allow other guix services to specify what kernel module configuration they expect and also guix to find and report conflicts in the global view. I think it's the right thing to do since the Linux kernel (and the hardware) keeps global state. So the programs that run in user space have to kinda negotiate what global = state is okay for everyone. That negotiation is a lot easier for Guix to do if it actually knows what is what, as opposed to an opaque etc directory that = could be anything. Maybe that's premature and we could use etc-service-type in the mean time. However, if a kernel-module-configuration-service appeared later then users would have to migrate to it manually. Not great. > > kernel-module-configuration-service if/when it exists. (I did not > > know how to extend etc-service-type with a file created at runtime not > > build time, but maybe kernel-module-configuration-service works > > differently anyway.) =20 I think Brice already had a nice mockup for the design, but I don't know wh= ether Brice plans to do it or not. Brice? --Sig_/uduF518TTmkVC/O3fl.S/GM Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEds7GsXJ0tGXALbPZ5xo1VCwwuqUFAl6zI7cACgkQ5xo1VCww uqX9Cgf9EV8/5PQoPpfRCthcNqRvmM2tNRZgRIxzOYFCTu2sccxkCstZ1PmmM90C IJHKbi0B6yyuUJTdR1Lgps2vRgS7ID8Omoai+0gl0AIJd/MkWKeAQAbRkenKfBpM 8OWpUNwhwRQuh0/zJyOXUhbN+W5IT3DvcvMTczd5icOSQeI6D2LHaQGZ16ABm3Ke EE1+TI7i/etymfHh9//2fUQrmBxH5oUsYPamhk34276M0icDaT6A0LoyIYkSmE04 K8x+fsqe/vDUr+r57BrHJC8ACe4BW2AbWALNnu5bmpOntW/b0cSPx1cyaoIflA/0 PBkEAqiTdz84ojpLZIlg0VzjIlw1lQ== =K10y -----END PGP SIGNATURE----- --Sig_/uduF518TTmkVC/O3fl.S/GM--