1 files changed, 9 insertions, 0 deletions

diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig
index 8ef85139553f..3765164809c5 100644
--- a/arch/x86/Kconfig
+++ b/arch/x86/Kconfig
@@ -2972,3 +2972,12 @@ config X86_DEV_DMA_OPS
 source "drivers/firmware/Kconfig"
 
 source "arch/x86/kvm/Kconfig"
+
+config ARCH_HAS_FEATHER_TRACE
+       def_bool y
+
+config ARCH_CALLS_IRQ_ENTER_ON_RESCHED_IPI
+       def_bool y
+
+source "litmus/Kconfig"
+