portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Increase seL4_TCBBits ready for alignment increase

Browse source 
The alignment of the tcb_t portion of a TCB object is going to be increased, this will
cause the total TCB size to overflow in some cases. This updates the definition of
seL4_TCBBits such that TCBs will be large enough after the alignment change.
This commit is contained in:
Adrian Danis 2018-03-21 16:57:12 +11:00
parent f5abc87894
commit f12d6fdc98
3 changed files with 4 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
CHANGES
View file

@ -39,6 +39,7 @@ BREAKING CHANGE
* seL4_TCB_SetPriority and seL4_TCB_SetMCPriority now take seL4_Word instead of seL4_Uint8.
- seL4_MaxPrio remains at 255.
* seL4_TCB_SetSchedParams is a new method where MCP and priority can be set in the same sytsem call.
* Size of the TCB object is increased for some build configurations
= Upgrade notes =
* seL4_TCB_Configure calls that set priority should be changed to explicitly call seL4_TCB_SetSchedParams

4
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h
View file

@ -109,7 +109,9 @@ enum {
#define seL4_LargePageBits 16
#define seL4_SlotBits 4
#if defined(CONFIG_DEBUG_BUILD) || defined(CONFIG_HAVE_FPU)
#if defined(CONFIG_DEBUG_BUILD) && defined(CONFIG_HAVE_FPU) && defined(CONFIG_HARDWARE_DEBUG_API)
#define seL4_TCBBits 11
#elif defined(CONFIG_HAVE_FPU)
#define seL4_TCBBits 10
#else
#define seL4_TCBBits 9

6
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/constants.h
View file

@ -28,13 +28,7 @@
#define seL4_PageBits 12 /* 4K */
#define seL4_SlotBits 4
#if CONFIG_XSAVE_SIZE > 576 || (CONFIG_XSAVE_SIZE == 576 && defined(CONFIG_DEBUG_BUILD))
/* If we have a larger XSAVE then we're storing AVX state
* and will need a larger total TCB size */
#define seL4_TCBBits 11
#else
#define seL4_TCBBits 10
#endif
#define seL4_EndpointBits 4
#define seL4_NotificationBits 4