And presumably not just SGX, but also the funding goes to future development in confidential computing hardware platforms as well

Exactly!