Adding the option to customize grub boot arguments...

[Fernando Cassia]

On 9/18/19, Thomas Lange <lange at informatik.uni-koeln.de> wrote:
>>>>>> On Wed, 18 Sep 2019 05:08:46 +0200, Robert Spiteri
>>>>>> <rspiteri01 at gmail.com> said:
>
>     > Any update on this please?
> Not yet implemented.


For what it's worth, here are the changes that would have to be
implemented for the drm boot delay bug work around.

https://gist.github.com/aawray/19a11a60806ea71d03ab1752c3af1b23

FC
>
> --
> regards Thomas
>


-- 
----
During times of Universal Deceit, telling the truth becomes a revolutionary
act
Durante épocas de Engaño Universal, decir la verdad se convierte en un Acto
Revolucionario
- George Orwell