Re: KMScon vs. AMD Radeon

["Ludovic Courtès" <ludo@gnu.org>]

[-- Attachment #1: Type: text/plain, Size: 834 bytes --]

Hello,

"pelzflorian (Florian Pelz)" <pelzflorian@pelzflorian.de> skribis:

> Deniz at Parabola GNU/Linux-libre discussed a similar issue for
> Parabola today:
>
>   Here what would need to be publicized would be how to blacklist the
> radeon driver at boot, in the case something goes wrong and the user
> is left with a black screen during the boot of linux-libre.
>
>   On Parabola adding "modprobe.blacklist=radeon" to the kernel command
> line does that at boot. This enables users to easily use the
> installation medias.
>
> <https://lists.parabola.nu/pipermail/assist/2019-April/001366.html>
>
> Deniz also wrote that this would break HDMI, but HDMI does not work
> for me in the Guix installer anyway (but possibly it worked for
> others?)

If that’s the best option we have so far, we can do this:


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: Type: text/x-patch, Size: 533 bytes --]

diff --git a/gnu/system/install.scm b/gnu/system/install.scm
index d887313132..5776938f10 100644
--- a/gnu/system/install.scm
+++ b/gnu/system/install.scm
@@ -426,6 +426,7 @@ Access documentation at any time by pressing Alt-F2.\x1b[0m
                  (target "/dev/sda")))
     (label (string-append "GNU Guix installation "
                           (package-version guix)))
+    (kernel-arguments '("modprobe.blacklist=radeon"))
 
     (file-systems
      ;; Note: the disk image build code overrides this root file system with

[-- Attachment #3: Type: text/plain, Size: 25 bytes --]


Thoughts?

Ludo’.