config.h

   1 /** @file config.h
   2  * @brief Configuration file.
   3  */
   4
   5 #ifndef CONFIG_H
   6 #define CONFIG_H
   7
   8 /** Turn on debugging. */
   9 /*              #ifndef CONFIG_DEBUG
  10                 #define CONFIG_DEBUG
  11                 #endif
  12 */
  13
  14
  15 /** Do we have a 48 bit virtual address (64 bit machine) or 32 bit addresses.
  16  * Set to 1 for 48-bit, 0 for 32-bit. */
  17 #ifndef BIT48
  18 #ifdef _LP64
  19 #define BIT48 1
  20 #else
  21 #define BIT48 0
  22 #endif
  23 #endif /* BIT48 */
  24
  25 /** Snapshotting configurables */
  26
  27 /** If USE_MPROTECT_SNAPSHOT=1, then snapshot by using mmap() and mprotect()
  28  * If USE_MPROTECT_SNAPSHOT=0, then snapshot by using fork() */
  29 #define USE_MPROTECT_SNAPSHOT 1
  30
  31 /** Size of signal stack */
  32 #define SIGSTACKSIZE 32768
  33
  34 /** Page size configuration */
  35 #define PAGESIZE 4096
  36
  37 /** Thread parameters */
  38
  39 /* Size of stack to allocate for a thread. */
  40 #define STACK_SIZE (1024 * 1024)
  41
  42
  43 #endif