You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
/* Minimum size of a scheduling context (2^{n} bytes) */
#define seL4_MinSchedContextBits 8
#ifndef __ASSEMBLER__
/* the size of a scheduling context, excluding extra refills */
#define seL4_CoreSchedContextBytes (10 * sizeof(seL4_Word) + (6 * 8))
/* the size of a single extra refill */
#define seL4_RefillSizeBytes (2 * 8)
Are not documented in the user manual currently. However this is critical to being able to allocate a scheduling context object.
Ideally this should at least be reference in section 2.4.2 Summary of Object Sizes.
The text was updated successfully, but these errors were encountered:
Historically the seL4 manual hard coded all values and made no references to constants in seL4. I fixed this in a few places (mostly because the hard coded values were, not surprisingly, completely out of date) but not everywhere.
As far as I can tell the following:
Are not documented in the user manual currently. However this is critical to being able to allocate a scheduling context object.
Ideally this should at least be reference in section 2.4.2 Summary of Object Sizes.
The text was updated successfully, but these errors were encountered: