Hi,

> We include older kernel versions: linux-libre-4.4 and linux-libre-4.1,
> which you can select via the 'kernel' field of the OS configuration,
> e.g.: (kernel linux-libre-4.4)
>
> Can you try these and see if the problem persists?

I tried these kernels and still have the problem (with GuixSD +
libreboot x200).

Clément



Reply via email to