On Wed, Jul 24, 2019 at 09:05:06PM +0200, Ricardo Wurmus wrote:
> Do you think it would be enough if we pointed to h-node.org and
> mentioned kernel flags that might be useful in certain generic cases?
> 

Yes, that is a very good suggestion and easiest to do.  I did not
think about h-node…  The manual already points there, but the website
should too.  Then this bug can be closed, I think.

Find attached a patch that mentions the kernel flag in the manual’s
Hardware Considerations section.  I do not know if a separate section
would be better.  (The alternative kernel flag “nomodeset” was
reported to not work as well, so I did not mention it, see here:
<https://lists.gnu.org/archive/html/guix-devel/2019-04/msg00089.html>)

h-node currently appears to have no information on those video cards.
I will take a look at how to add information there later.

Regards,
Florian