33 lines
1.0 KiB
Plaintext
33 lines
1.0 KiB
Plaintext
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
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.
|