// Copyright 2021 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.hardware.tee;

using fuchsia.tee as tee;

const MAX_NUM_OF_TRUSTED_APPS uint32 = 64;
const MAX_NUM_OF_THREAD_POOLS uint32 = 64;

/// Used to inform TEE driver about thread pool configuration
type CustomThreadConfig = table {
    /// Role name for custom thread pool.
    1: role string:2048;
    /// Number of threads in the thread pool.
    2: count uint32;
    /// List of TA UUIDs which should be assigned to this thread pool.
    3: trusted_apps vector<tee.Uuid>:MAX_NUM_OF_TRUSTED_APPS;
};

/// Passed to the TEE driver in metadata as DEVICE_METADATA_TEE_THREAD_CONFIG
type TeeMetadata = table {
    /// Number of threads in the default pool.
    1: default_thread_count uint32;
    /// List of custom pool configurations.
    2: custom_threads vector<CustomThreadConfig>:MAX_NUM_OF_THREAD_POOLS;
};