option(
  'userspace_rcu',
  type: 'boolean',
  value: false,
  description: 'Allow EMPER fibers to use userspace RCU',
)
option(
  'log_level',
  type: 'combo',
  choices: ['automatic', 'OFF', 'Error', 'Warning', 'Info', 'Debug', 'FineDebug', 'FinerDebug', 'FinestDebug', 'ALL'],
  value: 'automatic',
)
option(
  'worker_sleep',
  type: 'boolean',
  value: true,
  description: 'Enable sleeping worker support',
)
option(
  'worker_wakeup_strategy',
  type: 'combo',
  description: 'How many workers should be signaled onNewWork',
  choices: ['one', 'all'],
  value: 'one',
)
option(
  'locked_ws_queue',
  type: 'boolean',
  value: false,
  description: 'Use a fully locked queue for work-stealing',
)
option(
  'overflow_queue',
  type: 'boolean',
  value: true,
  description: 'Use a overflow queue in case the primary queue is full'
)
option(
  'locked_mpsc_queue',
  type: 'boolean',
  value: false,
  description: 'Use the locked variant for the MPSC queue'
)
option(
  'stats',
  type: 'boolean',
  value: false,
  description: 'Collect stats and print them at the end of the execution'
)
option(
  'default_scheduling_strategy',
  type: 'combo',
  choices: [
	'work_stealing',
	'locality_aware_work_stealing',
  ],
  value: 'work_stealing',
)