// 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. | |
[ForDeprecatedCBindings] | |
protocol Provider { | |
RequestPersistentStorage(request<io.Directory> dir); | |
}; |