| #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; | |
| }; |