# drivers/platform/Kconfig

if X86
source "drivers/platform/x86/Kconfig"
endif