On Wed, Sep 13, 2023 at 11:21 PM Mario Limonciello
<mario.limonciello@xxxxxxx> wrote:
2. In better news updating the BIOS fixed the issue in both Linux andIs it easy for users to update BIOS? I.e. does
Windows, no kernel patches needed.
So no further work will be done on this series.
fwupdmgr update work?
Or does it require flashing special USB drives with FAT filesystems...?
Because I'm not sure all users will do that. Or even be aware that
they should. In that case detecting the situation and emitting
a dev_err() telling the user to update their BIOS would be
desirable I think?
Yours,
Linus Walleij