Hi,
- 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.
It can even run Doom decently well and the highly demanding SuperTux Kart!