2 * @brief Configuration file.
8 /** Turn on debugging. */
9 /* #ifndef CONFIG_DEBUG
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. */
25 /** Snapshotting configurables */
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
31 /** Size of signal stack */
32 #define SIGSTACKSIZE 32768
34 /** Page size configuration */
37 /** Thread parameters */
39 /* Size of stack to allocate for a thread. */
40 #define STACK_SIZE (1024 * 1024)