Computing with Trusted Platform Module (TPM), USB Type-C Charging Port priced £2,000 - £2,200