* 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
signature.asc
Description: PGP signature