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

x86: Increase TCB size for large xsave regions

Browse source
This commit is contained in:
Adrian Danis 2018-03-27 13:42:09 +11:00
parent b942a50441
commit a7a6d9e229
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -29,7 +29,11 @@
#define seL4_WordSizeBits 3
#define seL4_PageBits 12
#define seL4_SlotBits 5
#if CONFIG_XSAVE_SIZE >= 832
#define seL4_TCBBits 12
#else
#define seL4_TCBBits 11
#endif
#define seL4_EndpointBits 4
#define seL4_NotificationBits 5