// 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);
};