config XENO_ARCH_FPU
	def_bool y

config XENO_ARCH_SYS3264
        def_bool IA32_EMULATION

source "kernel/xenomai/Kconfig"
source "drivers/xenomai/Kconfig"
