2017-11-21 22:05:17 +01:00
|
|
|
set(PACKAGE_VERSION "0.2.6" CACHE STRING
|
2017-04-03 18:08:12 +02:00
|
|
|
"HermitCore current version")
|
|
|
|
|
|
|
|
set(MAX_CORES "512" CACHE STRING
|
|
|
|
"Maximum number of cores that can be managed")
|
|
|
|
|
|
|
|
set(MAX_TASKS "((MAX_CORES * 2) + 2)" CACHE STRING
|
|
|
|
"Maximum number of tasks")
|
|
|
|
|
|
|
|
set(MAX_ISLE "8" CACHE STRING
|
|
|
|
"Maximum number of NUMA isles")
|
|
|
|
|
2017-04-11 19:19:51 +02:00
|
|
|
set(MAX_FNAME "128" CACHE STRING
|
|
|
|
"Define the maximum length of a file name")
|
|
|
|
|
2017-08-03 19:30:34 +02:00
|
|
|
set(KERNEL_STACK_SIZE 8192 CACHE STRING
|
2017-04-03 18:08:12 +02:00
|
|
|
"Kernel stack size in bytes")
|
|
|
|
|
|
|
|
set(DEFAULT_STACK_SIZE 262144 CACHE STRING
|
|
|
|
"Task stack size in bytes")
|
|
|
|
|
2017-11-07 19:51:57 -05:00
|
|
|
set(MAX_ARGC_ENVC 128 CACHE STRING
|
|
|
|
"Maximum number of command line parameters and enviroment variables
|
|
|
|
forwarded to uhyve")
|
|
|
|
|
2017-04-03 18:08:12 +02:00
|
|
|
option(DYNAMIC_TICKS
|
|
|
|
"Don't use a periodic timer event to keep track of time" ON)
|
|
|
|
|
|
|
|
option(SAVE_FPU
|
|
|
|
"Save FPU registers on context switch" ON)
|
|
|
|
|
|
|
|
option(HAVE_ARCH_MEMSET "Use machine specific version of memset" OFF)
|
|
|
|
option(HAVE_ARCH_MEMCPY "Use machine specific version of memcpy" OFF)
|
|
|
|
option(HAVE_ARCH_STRLEN "Use machine specific version of strlen" OFF)
|
|
|
|
option(HAVE_ARCH_STRCPY "Use machine specific version of strcpy" OFF)
|
|
|
|
option(HAVE_ARCH_STRNCPY "Use machine specific version of strncpy" OFF)
|