* Henrique de Moraes Holschuh <h...@debian.org> [2016-06-28 10:06]:
> Just out of curiosity, is your system a "Tuxedo InfinityBook 13v2" from
> tuxedocomputers.com ?

Yes, it is.

> Should a firmware update not be available yet from your system vendor,
> please request on their support channels a BIOS/UEFI update that has:

There is no update available, I've send them a mail.

Thanks for looking into this!

Cheers

Jochen

Attachment: signature.asc
Description: PGP signature

Reply via email to