blob: 705ac4ed00d4eaa80186e2d8155652ae994454f0 [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 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.
protocol Provider {
RequestPersistentStorage(request<io.Directory> dir);