SPL:  [CONFIG_405GPR]
  [CONFIG_40x]
  [CONFIG_AEABI]
  [CONFIG_ALTERA_DE2]
  [CONFIG_ALTIVEC]
  [CONFIG_ARCH_AT91]
  [CONFIG_ARCH_IMX]
  [CONFIG_ARCH_IMX21]
  [CONFIG_ARCH_INTEGRATOR]
  [CONFIG_ARCH_IXP4XX]
  [CONFIG_ARCH_MXC]
  [CONFIG_ARCH_OMAP2]
  [CONFIG_ARCH_OMAP3]
  [CONFIG_ARCH_PXA]
  [CONFIG_ARCH_S3C2410]
  [CONFIG_ARCH_SA1100]
  [CONFIG_BAMBOO]
  [CONFIG_BF51x]
  [CONFIG_BF52x]
  [CONFIG_BF533]
  [CONFIG_BF537]
  [CONFIG_BF538]
  [CONFIG_BF53x]
  [CONFIG_BF54x]
  [CONFIG_BF561]
  [CONFIG_BFIN537_STAMP]
  [CONFIG_BUBINGA]
  [CONFIG_CC_STACKPROTECTOR]
  [CONFIG_CPU_SA110]
  [CONFIG_CPU_SA1100]
  [CONFIG_CRUNCH]
  [CONFIG_DEBUG_DIO]
  [CONFIG_DEBUG_MIO]
  [CONFIG_DEBUG_MIO_COMMON]
  [CONFIG_DEBUG_MITE]
  [CONFIG_GENERIC_CLOCKEVENTS]
  [CONFIG_IPIPE_TRACE]
  [CONFIG_IPIPE_TRACE_IRQSOFF]
  [CONFIG_IPIPE_WANT_PREEMPTIBLE_SWITCH]
  [CONFIG_IWMMXT]
  [CONFIG_KGDB]
  [CONFIG_LTT]
  [CONFIG_MATH_EMULATION]
  [CONFIG_MD_RAID456]
  [CONFIG_MD_RAID456_MODULE]
  [CONFIG_MMU]
  [CONFIG_MODULES]
  [CONFIG_MODULE_UNLOAD]
  [CONFIG_MPC5121_ADS]
  [CONFIG_MPC8272_ADS]
  [CONFIG_MPC8349_ITX]
  [CONFIG_MPC836x_MDS]
  [CONFIG_MPC85xx]
  [CONFIG_MPU]
  [CONFIG_MVME7100]
  [CONFIG_NEON]
  [CONFIG_OABI_COMPAT]
  [CONFIG_OCOTEA]
  [CONFIG_PCI]
  [CONFIG_PLAT_ORION]
  [CONFIG_PNP]
  [CONFIG_PPC64]
  [CONFIG_PPC_MERGE]
  [CONFIG_PPC_MPC512x]
  [CONFIG_PPC_MPC52xx]
  [CONFIG_PPC_PASEMI]
  [CONFIG_PREEMPT]
  [CONFIG_PREEMPT_RT]
  [CONFIG_PROC_FS]
  [CONFIG_RAINIER]
  [CONFIG_SEQUOIA]
  [CONFIG_SMP]
  [CONFIG_SYCAMORE]
  [CONFIG_TAISHAN]
  [CONFIG_TQM8548]
  [CONFIG_TQM8560]
  [CONFIG_VFP]
  [CONFIG_VT]
  [CONFIG_WALNUT]
  [CONFIG_X86]
  [CONFIG_X86_32]
  [CONFIG_X86_GOOD_APIC]
  [CONFIG_X86_IO_APIC]
  [CONFIG_X86_LOCAL_APIC]
  [CONFIG_X86_TSC]
  [CONFIG_X86_USE_3DNOW]
  [CONFIG_X86_WP_WORKS_OK]
  [CONFIG_XENO_ARM_ARCH]
  [CONFIG_XENO_ARM_EABI]
  [CONFIG_XENO_ARM_HW_DIRECT_TSC]
  [CONFIG_XENO_ARM_SA1100]
  [CONFIG_XENO_CPU_XSC3]
  [CONFIG_XENO_DRIVERS_16550A]
  [CONFIG_XENO_DRIVERS_16550A_ANY]
  [CONFIG_XENO_DRIVERS_16550A_MMIO]
  [CONFIG_XENO_DRIVERS_16550A_PIO]
  [CONFIG_XENO_DRIVERS_ANALOGY]
  [CONFIG_XENO_DRIVERS_ANALOGY_8255]
  [CONFIG_XENO_DRIVERS_ANALOGY_8255_MODULE]
  [CONFIG_XENO_DRIVERS_ANALOGY_DEBUG]
  [CONFIG_XENO_DRIVERS_ANALOGY_FAKE]
  [CONFIG_XENO_DRIVERS_ANALOGY_LOOP]
  [CONFIG_XENO_DRIVERS_ANALOGY_NI_MITE]
  [CONFIG_XENO_DRIVERS_ANALOGY_NI_MITE_MODULE]
  [CONFIG_XENO_DRIVERS_ANALOGY_S526]
  [CONFIG_XENO_DRIVERS_CAN]
  [CONFIG_XENO_DRIVERS_CAN_BUS_ERR]
  [CONFIG_XENO_DRIVERS_CAN_DEBUG]
  [CONFIG_XENO_DRIVERS_CAN_LOOPBACK]
  [CONFIG_XENO_DRIVERS_CAN_MSCAN]
  [CONFIG_XENO_DRIVERS_CAN_MSCAN_1]
  [CONFIG_XENO_DRIVERS_CAN_MSCAN_2]
  [CONFIG_XENO_DRIVERS_CAN_MSCAN_ALT]
  [CONFIG_XENO_DRIVERS_CAN_MSCAN_OLD]
  [CONFIG_XENO_DRIVERS_CAN_MSCAN_PSC2]
  [CONFIG_XENO_DRIVERS_CAN_SJA1000]
  [CONFIG_XENO_DRIVERS_IRQBENCH]
  [CONFIG_XENO_DRIVERS_MPIPE]
  [CONFIG_XENO_DRIVERS_RTIPC]
  [CONFIG_XENO_DRIVERS_RTIPC_BUFP]
  [CONFIG_XENO_DRIVERS_RTIPC_IDDP]
  [CONFIG_XENO_DRIVERS_RTIPC_XDDP]
  [CONFIG_XENO_DRIVERS_SWITCHTEST]
  [CONFIG_XENO_DRIVERS_TIMERBENCH]
  [CONFIG_XENO_FASTSEM]
  [CONFIG_XENO_FASTSYNCH]
  [CONFIG_XENO_HW_FPU]
  [CONFIG_XENO_HW_NMI_DEBUG_LATENCY]
  [CONFIG_XENO_HW_SMI_ALL]
  [CONFIG_XENO_HW_SMI_APMC]
  [CONFIG_XENO_HW_SMI_BIOS]
  [CONFIG_XENO_HW_SMI_DETECT]
  [CONFIG_XENO_HW_SMI_INTEL_USB2]
  [CONFIG_XENO_HW_SMI_LEGACY_USB]
  [CONFIG_XENO_HW_SMI_LEGACY_USB2]
  [CONFIG_XENO_HW_SMI_MC]
  [CONFIG_XENO_HW_SMI_PERIODIC]
  [CONFIG_XENO_HW_SMI_TCO]
  [CONFIG_XENO_HW_SMI_WORKAROUND]
  [CONFIG_XENO_HW_UNLOCKED_SWITCH]
  [CONFIG_XENO_LIBS_DLOPEN]
  [CONFIG_XENO_OPT_DEBUG]
  [CONFIG_XENO_OPT_DEBUG_NATIVE]
  [CONFIG_XENO_OPT_DEBUG_NUCLEUS]
  [CONFIG_XENO_OPT_DEBUG_POSIX]
  [CONFIG_XENO_OPT_DEBUG_PSOS]
  [CONFIG_XENO_OPT_DEBUG_QUEUES]
  [CONFIG_XENO_OPT_DEBUG_REGISTRY]
  [CONFIG_XENO_OPT_DEBUG_RTDM]
  [CONFIG_XENO_OPT_DEBUG_SYNCH_RELAX]
  [CONFIG_XENO_OPT_DEBUG_TIMERS]
  [CONFIG_XENO_OPT_DEBUG_UITRON]
  [CONFIG_XENO_OPT_DEBUG_VXWORKS]
  [CONFIG_XENO_OPT_DEBUG_XNLOCK]
  [CONFIG_XENO_OPT_MAP]
  [CONFIG_XENO_OPT_NATIVE_ALARM]
  [CONFIG_XENO_OPT_NATIVE_BUFFER]
  [CONFIG_XENO_OPT_NATIVE_COND]
  [CONFIG_XENO_OPT_NATIVE_EVENT]
  [CONFIG_XENO_OPT_NATIVE_HEAP]
  [CONFIG_XENO_OPT_NATIVE_INTR]
  [CONFIG_XENO_OPT_NATIVE_MPS]
  [CONFIG_XENO_OPT_NATIVE_MUTEX]
  [CONFIG_XENO_OPT_NATIVE_PIPE]
  [CONFIG_XENO_OPT_NATIVE_PIPE_BUFSZ]
  [CONFIG_XENO_OPT_NATIVE_QUEUE]
  [CONFIG_XENO_OPT_NATIVE_SEM]
  [CONFIG_XENO_OPT_NOWARN_DEPRECATED]
  [CONFIG_XENO_OPT_NUCLEUS]
  [CONFIG_XENO_OPT_PERVASIVE]
  [CONFIG_XENO_OPT_PIPE]
  [CONFIG_XENO_OPT_PIPELINE_HEAD]
  [CONFIG_XENO_OPT_POSIX_INTR]
  [CONFIG_XENO_OPT_POSIX_SELECT]
  [CONFIG_XENO_OPT_POSIX_SHM]
  [CONFIG_XENO_OPT_PRIOCPL]
  [CONFIG_XENO_OPT_RTAI_FIFO]
  [CONFIG_XENO_OPT_RTAI_SEM]
  [CONFIG_XENO_OPT_RTAI_SHM]
  [CONFIG_XENO_OPT_RTDM_SELECT]
  [CONFIG_XENO_OPT_SCALABLE_SCHED]
  [CONFIG_XENO_OPT_SCHED_CLASSES]
  [CONFIG_XENO_OPT_SCHED_SPORADIC]
  [CONFIG_XENO_OPT_SCHED_TP]
  [CONFIG_XENO_OPT_SELECT]
  [CONFIG_XENO_OPT_SHIRQ]
  [CONFIG_XENO_OPT_STATS]
  [CONFIG_XENO_OPT_SYS_STACKPOOLSZ]
  [CONFIG_XENO_OPT_TIMER_HEAP]
  [CONFIG_XENO_OPT_TIMER_WHEEL]
  [CONFIG_XENO_OPT_TIMING_PERIODIC]
  [CONFIG_XENO_OPT_TIMING_SCHEDLAT]
  [CONFIG_XENO_OPT_WATCHDOG]
  [CONFIG_XENO_POSIX_AUTO_MLOCKALL]
  [CONFIG_XENO_PSOS_AUTO_MLOCKALL]
  [CONFIG_XENO_SKIN_NATIVE]
  [CONFIG_XENO_SKIN_POSIX]
  [CONFIG_XENO_SKIN_PSOS]
  [CONFIG_XENO_SKIN_RTAI]
  [CONFIG_XENO_SKIN_RTDM]
  [CONFIG_XENO_SKIN_RTDM_MODULE]
  [CONFIG_XENO_SKIN_UITRON]
  [CONFIG_XENO_SKIN_VRTX]
  [CONFIG_XENO_SKIN_VXWORKS]
  [CONFIG_XENO_UITRON_AUTO_MLOCKALL]
  [CONFIG_XENO_X86_SEP]
  [CONFIG_YELLOWSTONE]
  [CONFIG_YOSEMITE]
  [CONFIG_YUCCA]
::_SPL;
