config ARCH
	default "x86_64"

config XUK_DEBUG
	bool "Debug logging at lowest level"
	help
	  When true, enables debug logging from the XUK layer in very
	  early boot situations (including the 16 and 32 bit stub
	  code) on the first serial port (115200 8n1) and VGA text
	  console.  Also wires that output stream to the printk()
	  function so it can be used before any console drivers are
	  initialized.

config XUK_APIC_TSC_SHIFT
	int "Power-of-two divisor between TSC and APIC timer"
	default 6
	help
	  Configures the precision of the APIC timer as a bit shift of
	  the TSC frequency.  High values "slow down" the tick rate of
	  the APIC timer and allow for longer timeouts at the expense
	  of precision.

config IRQ_OFFLOAD_VECTOR
	int "Interrupt vector for irq_offload"
	default 255
	help
	  This is the interrupt vector to use for the self-directed
	  IPIs used to implement irq_offload().  Most apps will never
	  change this.  It's configurable in case someone wants to
	  play with its priority.