This repository was archived by the owner on Apr 17, 2026. It is now read-only.
buildenv-v0.3.1
Reserves a `user_utility_thread` for ecalls labelled as `utility` when creating an enclave. This thread does not enter the free tcs pool, and it is only used for ecalls labelled as `utility_tcs`. PiperOrigin-RevId: 219859657