option(
  'userspace_rcu',
  type: 'boolean',
  value: false,
  description: 'Allow EMPER fibers to use userspace RCU',
)
option(
  'worker_sleep',
  type: 'boolean',
  value: true,
  description: 'Enable sleeping worker support',
)
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'
)