We don't have any own Linux distribution, but customized Qubes and Ubuntu images. https://github.com/Nitrokey/ubuntu-oem/ https://github.com/Nitrokey/qubes-oem We didn't publish instructions how to flash Heads, but you can follow the documentation of Coreboot and Heads instead. Heads works on TPM enabled computers.