···912912 "ppc64-linux" = "tpm-spapr";
913913 "armv7-linux" = "tpm-tis-device";
914914 "aarch64-linux" = "tpm-tis-device";
915915- }.${pkgs.hostPlatform.system} or (throw "Unsupported system for TPM2 emulation in QEMU"));
915915+ }.${pkgs.stdenv.hostPlatform.system} or (throw "Unsupported system for TPM2 emulation in QEMU"));
916916 defaultText = ''
917917 Based on the guest platform Linux system:
918918