| #pragma once |
| #include <cstddef> |
| #include <cstdint> |
| |
| template<size_t NFrames> |
| struct TrustedStackGeneric; |
| |
| using TrustedStack = TrustedStackGeneric<0>; |
| |
| /** |
| * Info about a thread to be passed from loader to the scheduler. The |
| * scheduler will take this record and initialise the thread block. |
| */ |
| struct ThreadLoaderInfo |
| { |
| /// The trusted stack for this thread. This field should be sealed by |
| /// the loader and contain populated PCC, CGP and CSP caps. |
| TrustedStack *trustedStack; |
| /// Thread priority. The higher the more prioritised. |
| uint16_t priority; |
| }; |
