blob: 848f41a8a7875cdf89fb2ffa7272569cbccb6de8 [file] [log] [blame]
// 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.
closed protocol Provider {
strict RequestPersistentStorage(resource struct {
dir server_end:io.Directory;
});
};