// Copyright Microsoft and CHERIoT Contributors.
// SPDX-License-Identifier: MIT

#pragma once

#define BOOT_STACK_SIZE 1024
/**
 * The trusted stack size for the loader. Since the loader, the scheduler and
 * the idle thread must not do compartment calls, this trusted stack only needs
 * to have a register frame and not trusted stack frames.
 */
#define BOOT_TSTACK_SIZE (TSTACK_REGFRAME_SZ + TSTACK_HEADER_SZ + (8 * 8))

#define BOOT_THREADINFO_SZ 16