src/security/tee_manager/tee_manager_deprecated.config

{
  "services": {
    "fuchsia.tee.Device":
      "fuchsia-pkg://fuchsia.com/tee_manager#meta/tee_manager.cmx"
  }
}