| // Copyright 2019 The Fuchsia Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| library fuchsia.tee.manager; |
| |
| using fuchsia.io as io; |
| |
| /// Provider provides service access and support to the TEE driver |
| /// for things like persistent storage, since the TEE may make upward RPC-like |
| /// requests to the REE. |
| @for_deprecated_c_bindings |
| protocol Provider { |
| RequestPersistentStorage(resource struct { |
| dir server_end:io.Directory; |
| }); |
| }; |