kernel/fiasco/src/kern/config_tcbsize.h

   1 #ifndef CONFIG_TCBSIZE_H
   2 #define CONFIG_TCBSIZE_H
   3
   4 #include <globalconfig.h>
   5 #if defined CONFIG_CONTEXT_8K
   6 #define THREAD_BLOCK_SIZE (0x2000)
   7 #elif defined CONFIG_CONTEXT_4K
   8 #define THREAD_BLOCK_SIZE (0x1000)
   9 #else
  10 #define THREAD_BLOCK_SIZE (0x800)
  11 #endif
  12
  13 #endif