No open source BIOS / UEFI at the moment. It is currently based on a customized AMI Aptio BIOS.
Yes, it should have Pluton. But just to be on the save side, please contact our support (tux@tuxedocomputers.com), 1-2 sentences are enough.
Your question will then be forwarded to our R&D / dev team eventually to check it.
Hi,
Your question will then be forwarded to our R&D / dev team eventually to check it.