diff --git a/arch/arm/configs/micro_fsl_frdm_k64f_defconfig b/arch/arm/configs/micro_fsl_frdm_k64f_defconfig
new file mode 100644
index 00000000000..ef51a6a06fe
--- /dev/null
+++ b/arch/arm/configs/micro_fsl_frdm_k64f_defconfig
@@ -0,0 +1,131 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Tiny Mountain Build Options
+#
+# CONFIG_NANOKERNEL is not set
+CONFIG_MICROKERNEL=y
+
+#
+# General Kernel Options
+#
+CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
+CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
+# CONFIG_XIP is not set
+# CONFIG_ENHANCED_SECURITY is not set
+
+#
+# Nanokernel Options
+#
+CONFIG_KERNEL_DIR="ukernel"
+# CONFIG_BOOT_BANNER is not set
+CONFIG_MAIN_STACK_SIZE=1024
+CONFIG_ISR_STACK_SIZE=2048
+
+#
+# Microkernel Options
+#
+
+#
+# Core Microkernel Options
+#
+CONFIG_COMMAND_PACKET=y
+CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024
+CONFIG_MICROKERNEL_SERVER_PRIORITY=0
+CONFIG_PRIORITY_CEILING=0
+CONFIG_COMMAND_STACK_SIZE=64
+CONFIG_NUM_COMMAND_PACKETS=16
+CONFIG_NUM_TIMER_PACKETS=10
+CONFIG_API_MEMMAP=y
+CONFIG_API_MEMPOOL=y
+CONFIG_API_TASKIRQ=y
+CONFIG_MAX_NUM_TASK_IRQS=0
+CONFIG_API_DONOTHING=y
+CONFIG_API_OFFLD2FIBER=y
+CONFIG_API_EVENTS=y
+CONFIG_API_MAILBOX=y
+CONFIG_API_MUTEX=y
+CONFIG_API_FIFO=y
+CONFIG_API_SEMAPHORES=y
+CONFIG_API_TIMER=y
+
+#
+# Timer API Options
+#
+CONFIG_TIMESLICING=y
+CONFIG_TIMESLICE_SIZE=0
+CONFIG_TIMESLICE_PRIORITY=0
+CONFIG_API_CHANNEL=y
+# CONFIG_TASK_MONITOR is not set
+# CONFIG_ADVANCED_POWER_MANAGEMENT is not set
+CONFIG_PRINTK=y
+CONFIG_BSP_DIR="fsl_frdm_k64f"
+
+#
+# ARM family options
+#
+CONFIG_ARM=y
+CONFIG_ISA_THUMB2=y
+
+#
+# BSP General Configuration
+#
+CONFIG_BSP_FSL_FRDM_K64F=y
+# CONFIG_BSP_TI_LM3S6965 is not set
+
+#
+# ARM Cortex CPU options
+#
+CONFIG_CPU_CORTEX=y
+CONFIG_CPU_CORTEXM=y
+CONFIG_CPU_CORTEXM3=y
+CONFIG_CPU_CORTEXM4=y
+
+#
+# ARM Cortex-M family options
+#
+CONFIG_LDREX_STREX_AVAILABLE=y
+CONFIG_DATA_ENDIANNESS_LITTLE=y
+CONFIG_STACK_ALIGN_DOUBLE_WORD=y
+CONFIG_NUM_IRQS=1
+CONFIG_STACK_GROWS_DOWN=y
+CONFIG_NUM_IRQ_PRIO_BITS=4
+# CONFIG_RUNTIME_NMI is not set
+CONFIG_FAULT_DUMP=2
+
+#
+# ARM Cortex-M3 options
+#
+CONFIG_SW_ISR_TABLE=y
+CONFIG_SW_ISR_TABLE_DYNAMIC=y
+CONFIG_SW_ISR_TABLE_BSP=y
+CONFIG_IRQ_VECTOR_TABLE_BSP=y
+# CONFIG_ZERO_LATENCY_IRQS is not set
+CONFIG_ARCH_HAS_TASK_ABORT=y
+CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
+CONFIG_WDOG_INIT=y
+
+#
+# Debugging Options
+#
+# CONFIG_STDOUT_CONSOLE is not set
+# CONFIG_ASSERT is not set
+
+#
+# System Monitoring Options
+#
+
+#
+# Compile and Link Features
+#
+CONFIG_COMPILER_OPT=""
+CONFIG_SECTION_GARBAGE_COLLECTION=y
+CONFIG_DRV_CONSOLE=y
+CONFIG_DRV_SERIAL=y
+# CONFIG_DRV_NS16550 is not set
+CONFIG_DRV_K20_UART=y
+# CONFIG_DRV_STELLARIS_UART is not set
+# CONFIG_DRV_TIMER is not set
+# CONFIG_DRV_INTCTL is not set
+# CONFIG_DRV_PCI is not set
+# CONFIG_DRV_RANDOM is not set
+# CONFIG_EXPERIMENTAL is not set
diff --git a/arch/arm/configs/micro_ti_lm3s6965_defconfig b/arch/arm/configs/micro_ti_lm3s6965_defconfig
new file mode 100644
index 00000000000..3f6a27a6fe5
--- /dev/null
+++ b/arch/arm/configs/micro_ti_lm3s6965_defconfig
@@ -0,0 +1,131 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Tiny Mountain Build Options
+#
+# CONFIG_NANOKERNEL is not set
+CONFIG_MICROKERNEL=y
+
+#
+# General Kernel Options
+#
+CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
+CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=12000000
+# CONFIG_XIP is not set
+# CONFIG_ENHANCED_SECURITY is not set
+
+#
+# Nanokernel Options
+#
+CONFIG_KERNEL_DIR="ukernel"
+# CONFIG_BOOT_BANNER is not set
+CONFIG_MAIN_STACK_SIZE=1024
+CONFIG_ISR_STACK_SIZE=2048
+
+#
+# Microkernel Options
+#
+
+#
+# Core Microkernel Options
+#
+CONFIG_COMMAND_PACKET=y
+CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024
+CONFIG_MICROKERNEL_SERVER_PRIORITY=0
+CONFIG_PRIORITY_CEILING=0
+CONFIG_COMMAND_STACK_SIZE=64
+CONFIG_NUM_COMMAND_PACKETS=16
+CONFIG_NUM_TIMER_PACKETS=10
+CONFIG_API_MEMMAP=y
+CONFIG_API_MEMPOOL=y
+CONFIG_API_TASKIRQ=y
+CONFIG_MAX_NUM_TASK_IRQS=0
+CONFIG_API_DONOTHING=y
+CONFIG_API_OFFLD2FIBER=y
+CONFIG_API_EVENTS=y
+CONFIG_API_MAILBOX=y
+CONFIG_API_MUTEX=y
+CONFIG_API_FIFO=y
+CONFIG_API_SEMAPHORES=y
+CONFIG_API_TIMER=y
+
+#
+# Timer API Options
+#
+CONFIG_TIMESLICING=y
+CONFIG_TIMESLICE_SIZE=0
+CONFIG_TIMESLICE_PRIORITY=0
+CONFIG_API_CHANNEL=y
+# CONFIG_TASK_MONITOR is not set
+# CONFIG_ADVANCED_POWER_MANAGEMENT is not set
+CONFIG_PRINTK=y
+CONFIG_BSP_DIR="ti_lm3s6965"
+
+#
+# ARM family options
+#
+CONFIG_ARM=y
+CONFIG_ISA_THUMB2=y
+
+#
+# BSP General Configuration
+#
+# CONFIG_BSP_FSL_FRDM_K64F is not set
+CONFIG_BSP_TI_LM3S6965=y
+
+#
+# ARM Cortex CPU options
+#
+CONFIG_CPU_CORTEX=y
+CONFIG_CPU_CORTEXM=y
+CONFIG_CPU_CORTEXM3=y
+# CONFIG_CPU_CORTEXM4 is not set
+
+#
+# ARM Cortex-M family options
+#
+CONFIG_LDREX_STREX_AVAILABLE=y
+CONFIG_DATA_ENDIANNESS_LITTLE=y
+CONFIG_STACK_ALIGN_DOUBLE_WORD=y
+CONFIG_NUM_IRQS=1
+CONFIG_STACK_GROWS_DOWN=y
+CONFIG_NUM_IRQ_PRIO_BITS=3
+# CONFIG_RUNTIME_NMI is not set
+CONFIG_FAULT_DUMP=2
+
+#
+# ARM Cortex-M3 options
+#
+CONFIG_SW_ISR_TABLE=y
+CONFIG_SW_ISR_TABLE_DYNAMIC=y
+CONFIG_SW_ISR_TABLE_BSP=y
+CONFIG_IRQ_VECTOR_TABLE_BSP=y
+# CONFIG_ZERO_LATENCY_IRQS is not set
+CONFIG_ARCH_HAS_TASK_ABORT=y
+CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
+CONFIG_BSP_TI_LM3S6965_QEMU=y
+
+#
+# Debugging Options
+#
+# CONFIG_STDOUT_CONSOLE is not set
+# CONFIG_ASSERT is not set
+
+#
+# System Monitoring Options
+#
+
+#
+# Compile and Link Features
+#
+CONFIG_COMPILER_OPT=""
+CONFIG_SECTION_GARBAGE_COLLECTION=y
+CONFIG_DRV_CONSOLE=y
+CONFIG_DRV_SERIAL=y
+# CONFIG_DRV_NS16550 is not set
+# CONFIG_DRV_K20_UART is not set
+CONFIG_DRV_STELLARIS_UART=y
+# CONFIG_DRV_TIMER is not set
+# CONFIG_DRV_INTCTL is not set
+# CONFIG_DRV_PCI is not set
+# CONFIG_DRV_RANDOM is not set
+# CONFIG_EXPERIMENTAL is not set
diff --git a/arch/arm/configs/nano_fsl_frdm_k64f_defconfig b/arch/arm/configs/nano_fsl_frdm_k64f_defconfig
new file mode 100644
index 00000000000..a58d6904039
--- /dev/null
+++ b/arch/arm/configs/nano_fsl_frdm_k64f_defconfig
@@ -0,0 +1,94 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Tiny Mountain Build Options
+#
+CONFIG_NANOKERNEL=y
+# CONFIG_MICROKERNEL is not set
+
+#
+# General Kernel Options
+#
+CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
+CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
+# CONFIG_XIP is not set
+# CONFIG_ENHANCED_SECURITY is not set
+
+#
+# Nanokernel Options
+#
+CONFIG_KERNEL_DIR="nkernel"
+# CONFIG_BOOT_BANNER is not set
+CONFIG_MAIN_STACK_SIZE=1024
+CONFIG_ISR_STACK_SIZE=2048
+CONFIG_PRINTK=y
+CONFIG_BSP_DIR="fsl_frdm_k64f"
+
+#
+# ARM family options
+#
+CONFIG_ARM=y
+CONFIG_ISA_THUMB2=y
+
+#
+# BSP General Configuration
+#
+CONFIG_BSP_FSL_FRDM_K64F=y
+# CONFIG_BSP_TI_LM3S6965 is not set
+
+#
+# ARM Cortex CPU options
+#
+CONFIG_CPU_CORTEX=y
+CONFIG_CPU_CORTEXM=y
+CONFIG_CPU_CORTEXM3=y
+CONFIG_CPU_CORTEXM4=y
+
+#
+# ARM Cortex-M family options
+#
+CONFIG_LDREX_STREX_AVAILABLE=y
+CONFIG_DATA_ENDIANNESS_LITTLE=y
+CONFIG_STACK_ALIGN_DOUBLE_WORD=y
+CONFIG_NUM_IRQS=1
+CONFIG_STACK_GROWS_DOWN=y
+CONFIG_NUM_IRQ_PRIO_BITS=4
+# CONFIG_RUNTIME_NMI is not set
+CONFIG_FAULT_DUMP=2
+
+#
+# ARM Cortex-M3 options
+#
+CONFIG_SW_ISR_TABLE=y
+CONFIG_SW_ISR_TABLE_DYNAMIC=y
+CONFIG_SW_ISR_TABLE_BSP=y
+CONFIG_IRQ_VECTOR_TABLE_BSP=y
+# CONFIG_ZERO_LATENCY_IRQS is not set
+CONFIG_ARCH_HAS_TASK_ABORT=y
+CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
+CONFIG_WDOG_INIT=y
+
+#
+# Debugging Options
+#
+# CONFIG_STDOUT_CONSOLE is not set
+# CONFIG_ASSERT is not set
+
+#
+# System Monitoring Options
+#
+
+#
+# Compile and Link Features
+#
+CONFIG_COMPILER_OPT=""
+CONFIG_SECTION_GARBAGE_COLLECTION=y
+CONFIG_DRV_CONSOLE=y
+CONFIG_DRV_SERIAL=y
+# CONFIG_DRV_NS16550 is not set
+CONFIG_DRV_K20_UART=y
+# CONFIG_DRV_STELLARIS_UART is not set
+# CONFIG_DRV_TIMER is not set
+# CONFIG_DRV_INTCTL is not set
+# CONFIG_DRV_PCI is not set
+# CONFIG_DRV_RANDOM is not set
+# CONFIG_EXPERIMENTAL is not set
diff --git a/arch/arm/configs/nano_ti_lm3s6965_defconfig b/arch/arm/configs/nano_ti_lm3s6965_defconfig
new file mode 100644
index 00000000000..dd3b3d365ab
--- /dev/null
+++ b/arch/arm/configs/nano_ti_lm3s6965_defconfig
@@ -0,0 +1,94 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Tiny Mountain Build Options
+#
+CONFIG_NANOKERNEL=y
+# CONFIG_MICROKERNEL is not set
+
+#
+# General Kernel Options
+#
+CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
+CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=12000000
+# CONFIG_XIP is not set
+# CONFIG_ENHANCED_SECURITY is not set
+
+#
+# Nanokernel Options
+#
+CONFIG_KERNEL_DIR="nkernel"
+# CONFIG_BOOT_BANNER is not set
+CONFIG_MAIN_STACK_SIZE=1024
+CONFIG_ISR_STACK_SIZE=2048
+CONFIG_PRINTK=y
+CONFIG_BSP_DIR="ti_lm3s6965"
+
+#
+# ARM family options
+#
+CONFIG_ARM=y
+CONFIG_ISA_THUMB2=y
+
+#
+# BSP General Configuration
+#
+# CONFIG_BSP_FSL_FRDM_K64F is not set
+CONFIG_BSP_TI_LM3S6965=y
+
+#
+# ARM Cortex CPU options
+#
+CONFIG_CPU_CORTEX=y
+CONFIG_CPU_CORTEXM=y
+CONFIG_CPU_CORTEXM3=y
+# CONFIG_CPU_CORTEXM4 is not set
+
+#
+# ARM Cortex-M family options
+#
+CONFIG_LDREX_STREX_AVAILABLE=y
+CONFIG_DATA_ENDIANNESS_LITTLE=y
+CONFIG_STACK_ALIGN_DOUBLE_WORD=y
+CONFIG_NUM_IRQS=1
+CONFIG_STACK_GROWS_DOWN=y
+CONFIG_NUM_IRQ_PRIO_BITS=3
+# CONFIG_RUNTIME_NMI is not set
+CONFIG_FAULT_DUMP=2
+
+#
+# ARM Cortex-M3 options
+#
+CONFIG_SW_ISR_TABLE=y
+CONFIG_SW_ISR_TABLE_DYNAMIC=y
+CONFIG_SW_ISR_TABLE_BSP=y
+CONFIG_IRQ_VECTOR_TABLE_BSP=y
+# CONFIG_ZERO_LATENCY_IRQS is not set
+CONFIG_ARCH_HAS_TASK_ABORT=y
+CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
+CONFIG_BSP_TI_LM3S6965_QEMU=y
+
+#
+# Debugging Options
+#
+# CONFIG_STDOUT_CONSOLE is not set
+# CONFIG_ASSERT is not set
+
+#
+# System Monitoring Options
+#
+
+#
+# Compile and Link Features
+#
+CONFIG_COMPILER_OPT=""
+CONFIG_SECTION_GARBAGE_COLLECTION=y
+CONFIG_DRV_CONSOLE=y
+CONFIG_DRV_SERIAL=y
+# CONFIG_DRV_NS16550 is not set
+# CONFIG_DRV_K20_UART is not set
+CONFIG_DRV_STELLARIS_UART=y
+# CONFIG_DRV_TIMER is not set
+# CONFIG_DRV_INTCTL is not set
+# CONFIG_DRV_PCI is not set
+# CONFIG_DRV_RANDOM is not set
+# CONFIG_EXPERIMENTAL is not set
diff --git a/arch/arm/defconfig b/arch/arm/defconfig
new file mode 100644
index 00000000000..ef51a6a06fe
--- /dev/null
+++ b/arch/arm/defconfig
@@ -0,0 +1,131 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Tiny Mountain Build Options
+#
+# CONFIG_NANOKERNEL is not set
+CONFIG_MICROKERNEL=y
+
+#
+# General Kernel Options
+#
+CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
+CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
+# CONFIG_XIP is not set
+# CONFIG_ENHANCED_SECURITY is not set
+
+#
+# Nanokernel Options
+#
+CONFIG_KERNEL_DIR="ukernel"
+# CONFIG_BOOT_BANNER is not set
+CONFIG_MAIN_STACK_SIZE=1024
+CONFIG_ISR_STACK_SIZE=2048
+
+#
+# Microkernel Options
+#
+
+#
+# Core Microkernel Options
+#
+CONFIG_COMMAND_PACKET=y
+CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024
+CONFIG_MICROKERNEL_SERVER_PRIORITY=0
+CONFIG_PRIORITY_CEILING=0
+CONFIG_COMMAND_STACK_SIZE=64
+CONFIG_NUM_COMMAND_PACKETS=16
+CONFIG_NUM_TIMER_PACKETS=10
+CONFIG_API_MEMMAP=y
+CONFIG_API_MEMPOOL=y
+CONFIG_API_TASKIRQ=y
+CONFIG_MAX_NUM_TASK_IRQS=0
+CONFIG_API_DONOTHING=y
+CONFIG_API_OFFLD2FIBER=y
+CONFIG_API_EVENTS=y
+CONFIG_API_MAILBOX=y
+CONFIG_API_MUTEX=y
+CONFIG_API_FIFO=y
+CONFIG_API_SEMAPHORES=y
+CONFIG_API_TIMER=y
+
+#
+# Timer API Options
+#
+CONFIG_TIMESLICING=y
+CONFIG_TIMESLICE_SIZE=0
+CONFIG_TIMESLICE_PRIORITY=0
+CONFIG_API_CHANNEL=y
+# CONFIG_TASK_MONITOR is not set
+# CONFIG_ADVANCED_POWER_MANAGEMENT is not set
+CONFIG_PRINTK=y
+CONFIG_BSP_DIR="fsl_frdm_k64f"
+
+#
+# ARM family options
+#
+CONFIG_ARM=y
+CONFIG_ISA_THUMB2=y
+
+#
+# BSP General Configuration
+#
+CONFIG_BSP_FSL_FRDM_K64F=y
+# CONFIG_BSP_TI_LM3S6965 is not set
+
+#
+# ARM Cortex CPU options
+#
+CONFIG_CPU_CORTEX=y
+CONFIG_CPU_CORTEXM=y
+CONFIG_CPU_CORTEXM3=y
+CONFIG_CPU_CORTEXM4=y
+
+#
+# ARM Cortex-M family options
+#
+CONFIG_LDREX_STREX_AVAILABLE=y
+CONFIG_DATA_ENDIANNESS_LITTLE=y
+CONFIG_STACK_ALIGN_DOUBLE_WORD=y
+CONFIG_NUM_IRQS=1
+CONFIG_STACK_GROWS_DOWN=y
+CONFIG_NUM_IRQ_PRIO_BITS=4
+# CONFIG_RUNTIME_NMI is not set
+CONFIG_FAULT_DUMP=2
+
+#
+# ARM Cortex-M3 options
+#
+CONFIG_SW_ISR_TABLE=y
+CONFIG_SW_ISR_TABLE_DYNAMIC=y
+CONFIG_SW_ISR_TABLE_BSP=y
+CONFIG_IRQ_VECTOR_TABLE_BSP=y
+# CONFIG_ZERO_LATENCY_IRQS is not set
+CONFIG_ARCH_HAS_TASK_ABORT=y
+CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
+CONFIG_WDOG_INIT=y
+
+#
+# Debugging Options
+#
+# CONFIG_STDOUT_CONSOLE is not set
+# CONFIG_ASSERT is not set
+
+#
+# System Monitoring Options
+#
+
+#
+# Compile and Link Features
+#
+CONFIG_COMPILER_OPT=""
+CONFIG_SECTION_GARBAGE_COLLECTION=y
+CONFIG_DRV_CONSOLE=y
+CONFIG_DRV_SERIAL=y
+# CONFIG_DRV_NS16550 is not set
+CONFIG_DRV_K20_UART=y
+# CONFIG_DRV_STELLARIS_UART is not set
+# CONFIG_DRV_TIMER is not set
+# CONFIG_DRV_INTCTL is not set
+# CONFIG_DRV_PCI is not set
+# CONFIG_DRV_RANDOM is not set
+# CONFIG_EXPERIMENTAL is not set
diff --git a/arch/x86/configs/micro_generic_pc_defconfig b/arch/x86/configs/micro_generic_pc_defconfig
new file mode 100644
index 00000000000..d00141ad570
--- /dev/null
+++ b/arch/x86/configs/micro_generic_pc_defconfig
@@ -0,0 +1,185 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Tiny Mountain Build Options
+#
+# CONFIG_NANOKERNEL is not set
+CONFIG_MICROKERNEL=y
+
+#
+# General Kernel Options
+#
+CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
+CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=150000000
+# CONFIG_XIP is not set
+CONFIG_ENHANCED_SECURITY=y
+
+#
+# Security Options
+#
+# CONFIG_CUSTOM_SECURITY is not set
+# CONFIG_STACK_CANARIES is not set
+
+#
+# Nanokernel Options
+#
+CONFIG_KERNEL_DIR="ukernel"
+# CONFIG_BOOT_BANNER is not set
+CONFIG_MAIN_STACK_SIZE=1024
+CONFIG_ISR_STACK_SIZE=2048
+
+#
+# Microkernel Options
+#
+
+#
+# Core Microkernel Options
+#
+CONFIG_COMMAND_PACKET=y
+CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024
+CONFIG_MICROKERNEL_SERVER_PRIORITY=0
+CONFIG_PRIORITY_CEILING=0
+CONFIG_COMMAND_STACK_SIZE=64
+CONFIG_NUM_COMMAND_PACKETS=16
+CONFIG_NUM_TIMER_PACKETS=10
+CONFIG_API_MEMMAP=y
+CONFIG_API_MEMPOOL=y
+CONFIG_API_TASKIRQ=y
+CONFIG_MAX_NUM_TASK_IRQS=0
+CONFIG_API_DONOTHING=y
+CONFIG_API_OFFLD2FIBER=y
+CONFIG_API_EVENTS=y
+CONFIG_API_MAILBOX=y
+CONFIG_API_MUTEX=y
+CONFIG_API_FIFO=y
+CONFIG_API_SEMAPHORES=y
+CONFIG_API_TIMER=y
+
+#
+# Timer API Options
+#
+CONFIG_TIMESLICING=y
+CONFIG_TIMESLICE_SIZE=0
+CONFIG_TIMESLICE_PRIORITY=0
+CONFIG_API_CHANNEL=y
+# CONFIG_TASK_MONITOR is not set
+# CONFIG_ADVANCED_POWER_MANAGEMENT is not set
+CONFIG_PRINTK=y
+
+#
+# x86 Core Options
+#
+# CONFIG_NO_ISRS is not set
+
+#
+# Memory Layout Options
+#
+CONFIG_IDT_NUM_VECTORS=256
+CONFIG_NUM_GDT_SPARE_ENTRIES=0
+CONFIG_PHYS_LOAD_ADDR=0x00100000
+
+#
+# Board Capabilities
+#
+# CONFIG_BOI_HANDLER_SUPPORTED is not set
+CONFIG_EOI_HANDLER_SUPPORTED=y
+# CONFIG_UNALIGNED_WRITE_UNSUPPORTED is not set
+# CONFIG_LOCK_INSTRUCTION_UNSUPPORTED is not set
+
+#
+# Floating Point Options
+#
+
+#
+# BSP General Configuration
+#
+CONFIG_BSP_ATOM_N28XX=y
+# CONFIG_BSP_PCMINUTEIA is not set
+# CONFIG_BSP_PCPENTIUM4 is not set
+# CONFIG_BSP_QUARK is not set
+CONFIG_BSP_GENERIC_PC=y
+
+#
+# Intel Processor
+#
+# CONFIG_CPU_MINUTEIA is not set
+CONFIG_CPU_PENTIUM4=y
+# CONFIG_CPU_MIGHT_SUPPORT_CLFLUSH is not set
+
+#
+# Specific CPU Capability Support
+#
+CONFIG_ISA_IA32=y
+CONFIG_HARDWARE_BP_SUPPORTED=y
+# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
+# CONFIG_CMOV_UNSUPPORTED is not set
+# CONFIG_CPU_FLOAT_UNSUPPORTED is not set
+# CONFIG_CPU_SSE_UNSUPPORTED is not set
+CONFIG_CACHE_LINE_SIZE=64
+
+#
+# Specific BSP Capability Support
+#
+# CONFIG_DYNAMIC_INT_STUBS is not set
+# CONFIG_PROT_MODE_SWITCH_PROMPT is not set
+# CONFIG_ADVANCED_IDLE_SUPPORTED is not set
+
+#
+# Boot Sequence Options
+#
+CONFIG_BOOTLOADER_UNKNOWN=y
+# CONFIG_PIC is not set
+CONFIG_SHUTOFF_PIC=y
+
+#
+# Floating Point Options
+#
+# CONFIG_FLOAT is not set
+CONFIG_CUSTOM_RANDOM_GENERATOR=y
+CONFIG_BSP_DIR="generic_pc"
+CONFIG_LOAPIC_TIMER_FREQ=150000000
+
+#
+# Serial Ports
+#
+CONFIG_EXTRA_SERIAL_PORT=y
+CONFIG_SERIAL_INTERRUPT_LEVEL=y
+# CONFIG_SERIAL_INTERRUPT_LOW is not set
+
+#
+# Timer Configuration
+#
+# CONFIG_HPET_TIMER is not set
+CONFIG_LOAPIC_TIMER=y
+
+#
+# Interrupt Controller Configuration
+#
+CONFIG_IOAPIC=y
+CONFIG_LOAPIC=y
+
+#
+# Debugging Options
+#
+# CONFIG_STDOUT_CONSOLE is not set
+# CONFIG_ASSERT is not set
+
+#
+# System Monitoring Options
+#
+
+#
+# Compile and Link Features
+#
+CONFIG_COMPILER_OPT=""
+CONFIG_SECTION_GARBAGE_COLLECTION=y
+CONFIG_DRV_CONSOLE=y
+CONFIG_DRV_SERIAL=y
+CONFIG_DRV_NS16550=y
+# CONFIG_DRV_K20_UART is not set
+# CONFIG_DRV_STELLARIS_UART is not set
+CONFIG_DRV_TIMER=y
+# CONFIG_PIT is not set
+CONFIG_DRV_INTCTL=y
+# CONFIG_DRV_PCI is not set
+# CONFIG_DRV_RANDOM is not set
+# CONFIG_EXPERIMENTAL is not set
diff --git a/arch/x86/configs/micro_quark_defconfig b/arch/x86/configs/micro_quark_defconfig
new file mode 100644
index 00000000000..a3d277b4217
--- /dev/null
+++ b/arch/x86/configs/micro_quark_defconfig
@@ -0,0 +1,175 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Tiny Mountain Build Options
+#
+# CONFIG_NANOKERNEL is not set
+CONFIG_MICROKERNEL=y
+
+#
+# General Kernel Options
+#
+CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
+CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
+# CONFIG_XIP is not set
+CONFIG_ENHANCED_SECURITY=y
+
+#
+# Security Options
+#
+# CONFIG_CUSTOM_SECURITY is not set
+# CONFIG_STACK_CANARIES is not set
+
+#
+# Nanokernel Options
+#
+CONFIG_KERNEL_DIR="ukernel"
+# CONFIG_BOOT_BANNER is not set
+CONFIG_MAIN_STACK_SIZE=1024
+CONFIG_ISR_STACK_SIZE=2048
+
+#
+# Microkernel Options
+#
+
+#
+# Core Microkernel Options
+#
+CONFIG_COMMAND_PACKET=y
+CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024
+CONFIG_MICROKERNEL_SERVER_PRIORITY=0
+CONFIG_PRIORITY_CEILING=0
+CONFIG_COMMAND_STACK_SIZE=64
+CONFIG_NUM_COMMAND_PACKETS=16
+CONFIG_NUM_TIMER_PACKETS=10
+CONFIG_API_MEMMAP=y
+CONFIG_API_MEMPOOL=y
+CONFIG_API_TASKIRQ=y
+CONFIG_MAX_NUM_TASK_IRQS=0
+CONFIG_API_DONOTHING=y
+CONFIG_API_OFFLD2FIBER=y
+CONFIG_API_EVENTS=y
+CONFIG_API_MAILBOX=y
+CONFIG_API_MUTEX=y
+CONFIG_API_FIFO=y
+CONFIG_API_SEMAPHORES=y
+CONFIG_API_TIMER=y
+
+#
+# Timer API Options
+#
+CONFIG_TIMESLICING=y
+CONFIG_TIMESLICE_SIZE=0
+CONFIG_TIMESLICE_PRIORITY=0
+CONFIG_API_CHANNEL=y
+# CONFIG_TASK_MONITOR is not set
+# CONFIG_ADVANCED_POWER_MANAGEMENT is not set
+CONFIG_PRINTK=y
+
+#
+# x86 Core Options
+#
+# CONFIG_NO_ISRS is not set
+
+#
+# Memory Layout Options
+#
+CONFIG_IDT_NUM_VECTORS=256
+CONFIG_NUM_GDT_SPARE_ENTRIES=0
+CONFIG_PHYS_LOAD_ADDR=0x00100000
+
+#
+# Board Capabilities
+#
+# CONFIG_BOI_HANDLER_SUPPORTED is not set
+CONFIG_EOI_HANDLER_SUPPORTED=y
+# CONFIG_UNALIGNED_WRITE_UNSUPPORTED is not set
+# CONFIG_LOCK_INSTRUCTION_UNSUPPORTED is not set
+
+#
+# BSP General Configuration
+#
+# CONFIG_BSP_ATOM_N28XX is not set
+# CONFIG_BSP_PCMINUTEIA is not set
+# CONFIG_BSP_PCPENTIUM4 is not set
+CONFIG_BSP_QUARK=y
+# CONFIG_BSP_GENERIC_PC is not set
+
+#
+# Intel Processor
+#
+CONFIG_CPU_MINUTEIA=y
+# CONFIG_CPU_PENTIUM4 is not set
+# CONFIG_CPU_MIGHT_SUPPORT_CLFLUSH is not set
+
+#
+# Specific CPU Capability Support
+#
+CONFIG_ISA_IA32=y
+CONFIG_HARDWARE_BP_SUPPORTED=y
+# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
+CONFIG_CMOV_UNSUPPORTED=y
+CONFIG_CPU_FLOAT_UNSUPPORTED=y
+CONFIG_CPU_SSE_UNSUPPORTED=y
+CONFIG_CACHE_LINE_SIZE=0
+
+#
+# Specific BSP Capability Support
+#
+# CONFIG_DYNAMIC_INT_STUBS is not set
+# CONFIG_PROT_MODE_SWITCH_PROMPT is not set
+# CONFIG_ADVANCED_IDLE_SUPPORTED is not set
+
+#
+# Boot Sequence Options
+#
+CONFIG_BOOTLOADER_UNKNOWN=y
+# CONFIG_SHUTOFF_PIC is not set
+# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
+CONFIG_BSP_DIR="quark"
+CONFIG_EXTRA_SERIAL_PORT=y
+CONFIG_SERIAL_INTERRUPT_LEVEL=y
+# CONFIG_SERIAL_INTERRUPT_LOW is not set
+CONFIG_MAX_PCI_DEVS=8
+# CONFIG_BOOTLOADER_KEXEC is not set
+CONFIG_BOOTLOADER_GRUB=y
+
+#
+# Serial Ports
+#
+
+#
+# Timer Configuration
+#
+CONFIG_HPET_TIMER=y
+
+#
+# Interrupt Controller Configuration
+#
+CONFIG_IOAPIC=y
+# CONFIG_LOAPIC is not set
+
+#
+# Debugging Options
+#
+# CONFIG_STDOUT_CONSOLE is not set
+# CONFIG_ASSERT is not set
+
+#
+# System Monitoring Options
+#
+
+#
+# Compile and Link Features
+#
+CONFIG_COMPILER_OPT=""
+CONFIG_SECTION_GARBAGE_COLLECTION=y
+CONFIG_DRV_CONSOLE=y
+CONFIG_DRV_SERIAL=y
+CONFIG_DRV_NS16550=y
+# CONFIG_DRV_K20_UART is not set
+# CONFIG_DRV_STELLARIS_UART is not set
+# CONFIG_DRV_TIMER is not set
+# CONFIG_DRV_INTCTL is not set
+# CONFIG_DRV_PCI is not set
+# CONFIG_DRV_RANDOM is not set
+# CONFIG_EXPERIMENTAL is not set
diff --git a/arch/x86/configs/nano_generic_pc_defconfig b/arch/x86/configs/nano_generic_pc_defconfig
new file mode 100644
index 00000000000..32a433021ca
--- /dev/null
+++ b/arch/x86/configs/nano_generic_pc_defconfig
@@ -0,0 +1,148 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Tiny Mountain Build Options
+#
+CONFIG_NANOKERNEL=y
+# CONFIG_MICROKERNEL is not set
+
+#
+# General Kernel Options
+#
+CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
+CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=150000000
+# CONFIG_XIP is not set
+CONFIG_ENHANCED_SECURITY=y
+
+#
+# Security Options
+#
+# CONFIG_CUSTOM_SECURITY is not set
+# CONFIG_STACK_CANARIES is not set
+
+#
+# Nanokernel Options
+#
+CONFIG_KERNEL_DIR="nkernel"
+# CONFIG_BOOT_BANNER is not set
+CONFIG_MAIN_STACK_SIZE=1024
+CONFIG_ISR_STACK_SIZE=2048
+CONFIG_PRINTK=y
+
+#
+# x86 Core Options
+#
+# CONFIG_NO_ISRS is not set
+
+#
+# Memory Layout Options
+#
+CONFIG_IDT_NUM_VECTORS=256
+CONFIG_NUM_GDT_SPARE_ENTRIES=0
+CONFIG_PHYS_LOAD_ADDR=0x00100000
+
+#
+# Board Capabilities
+#
+# CONFIG_BOI_HANDLER_SUPPORTED is not set
+CONFIG_EOI_HANDLER_SUPPORTED=y
+# CONFIG_UNALIGNED_WRITE_UNSUPPORTED is not set
+# CONFIG_LOCK_INSTRUCTION_UNSUPPORTED is not set
+
+#
+# Floating Point Options
+#
+
+#
+# BSP General Configuration
+#
+CONFIG_BSP_ATOM_N28XX=y
+# CONFIG_BSP_PCMINUTEIA is not set
+# CONFIG_BSP_PCPENTIUM4 is not set
+# CONFIG_BSP_QUARK is not set
+CONFIG_BSP_GENERIC_PC=y
+
+#
+# Intel Processor
+#
+# CONFIG_CPU_MINUTEIA is not set
+CONFIG_CPU_PENTIUM4=y
+# CONFIG_CPU_MIGHT_SUPPORT_CLFLUSH is not set
+
+#
+# Specific CPU Capability Support
+#
+CONFIG_ISA_IA32=y
+CONFIG_HARDWARE_BP_SUPPORTED=y
+# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
+# CONFIG_CMOV_UNSUPPORTED is not set
+# CONFIG_CPU_FLOAT_UNSUPPORTED is not set
+# CONFIG_CPU_SSE_UNSUPPORTED is not set
+CONFIG_CACHE_LINE_SIZE=64
+
+#
+# Specific BSP Capability Support
+#
+# CONFIG_DYNAMIC_INT_STUBS is not set
+# CONFIG_PROT_MODE_SWITCH_PROMPT is not set
+# CONFIG_ADVANCED_IDLE_SUPPORTED is not set
+
+#
+# Boot Sequence Options
+#
+CONFIG_BOOTLOADER_UNKNOWN=y
+# CONFIG_PIC is not set
+CONFIG_SHUTOFF_PIC=y
+
+#
+# Floating Point Options
+#
+# CONFIG_FLOAT is not set
+CONFIG_CUSTOM_RANDOM_GENERATOR=y
+CONFIG_BSP_DIR="generic_pc"
+CONFIG_LOAPIC_TIMER_FREQ=150000000
+
+#
+# Serial Ports
+#
+CONFIG_EXTRA_SERIAL_PORT=y
+CONFIG_SERIAL_INTERRUPT_LEVEL=y
+# CONFIG_SERIAL_INTERRUPT_LOW is not set
+
+#
+# Timer Configuration
+#
+# CONFIG_HPET_TIMER is not set
+CONFIG_LOAPIC_TIMER=y
+
+#
+# Interrupt Controller Configuration
+#
+CONFIG_IOAPIC=y
+CONFIG_LOAPIC=y
+
+#
+# Debugging Options
+#
+# CONFIG_STDOUT_CONSOLE is not set
+# CONFIG_ASSERT is not set
+
+#
+# System Monitoring Options
+#
+
+#
+# Compile and Link Features
+#
+CONFIG_COMPILER_OPT=""
+CONFIG_SECTION_GARBAGE_COLLECTION=y
+CONFIG_DRV_CONSOLE=y
+CONFIG_DRV_SERIAL=y
+CONFIG_DRV_NS16550=y
+# CONFIG_DRV_K20_UART is not set
+# CONFIG_DRV_STELLARIS_UART is not set
+CONFIG_DRV_TIMER=y
+# CONFIG_PIT is not set
+CONFIG_DRV_INTCTL=y
+# CONFIG_DRV_PCI is not set
+# CONFIG_DRV_RANDOM is not set
+# CONFIG_EXPERIMENTAL is not set
diff --git a/arch/x86/configs/nano_quark_defconfig b/arch/x86/configs/nano_quark_defconfig
new file mode 100644
index 00000000000..942fbc73605
--- /dev/null
+++ b/arch/x86/configs/nano_quark_defconfig
@@ -0,0 +1,138 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Tiny Mountain Build Options
+#
+CONFIG_NANOKERNEL=y
+# CONFIG_MICROKERNEL is not set
+
+#
+# General Kernel Options
+#
+CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
+CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
+# CONFIG_XIP is not set
+CONFIG_ENHANCED_SECURITY=y
+
+#
+# Security Options
+#
+# CONFIG_CUSTOM_SECURITY is not set
+# CONFIG_STACK_CANARIES is not set
+
+#
+# Nanokernel Options
+#
+CONFIG_KERNEL_DIR="nkernel"
+# CONFIG_BOOT_BANNER is not set
+CONFIG_MAIN_STACK_SIZE=1024
+CONFIG_ISR_STACK_SIZE=2048
+CONFIG_PRINTK=y
+
+#
+# x86 Core Options
+#
+# CONFIG_NO_ISRS is not set
+
+#
+# Memory Layout Options
+#
+CONFIG_IDT_NUM_VECTORS=256
+CONFIG_NUM_GDT_SPARE_ENTRIES=0
+CONFIG_PHYS_LOAD_ADDR=0x00100000
+
+#
+# Board Capabilities
+#
+# CONFIG_BOI_HANDLER_SUPPORTED is not set
+CONFIG_EOI_HANDLER_SUPPORTED=y
+# CONFIG_UNALIGNED_WRITE_UNSUPPORTED is not set
+# CONFIG_LOCK_INSTRUCTION_UNSUPPORTED is not set
+
+#
+# BSP General Configuration
+#
+# CONFIG_BSP_ATOM_N28XX is not set
+# CONFIG_BSP_PCMINUTEIA is not set
+# CONFIG_BSP_PCPENTIUM4 is not set
+CONFIG_BSP_QUARK=y
+# CONFIG_BSP_GENERIC_PC is not set
+
+#
+# Intel Processor
+#
+CONFIG_CPU_MINUTEIA=y
+# CONFIG_CPU_PENTIUM4 is not set
+# CONFIG_CPU_MIGHT_SUPPORT_CLFLUSH is not set
+
+#
+# Specific CPU Capability Support
+#
+CONFIG_ISA_IA32=y
+CONFIG_HARDWARE_BP_SUPPORTED=y
+# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
+CONFIG_CMOV_UNSUPPORTED=y
+CONFIG_CPU_FLOAT_UNSUPPORTED=y
+CONFIG_CPU_SSE_UNSUPPORTED=y
+CONFIG_CACHE_LINE_SIZE=0
+
+#
+# Specific BSP Capability Support
+#
+# CONFIG_DYNAMIC_INT_STUBS is not set
+# CONFIG_PROT_MODE_SWITCH_PROMPT is not set
+# CONFIG_ADVANCED_IDLE_SUPPORTED is not set
+
+#
+# Boot Sequence Options
+#
+CONFIG_BOOTLOADER_UNKNOWN=y
+# CONFIG_SHUTOFF_PIC is not set
+# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
+CONFIG_BSP_DIR="quark"
+CONFIG_EXTRA_SERIAL_PORT=y
+CONFIG_SERIAL_INTERRUPT_LEVEL=y
+# CONFIG_SERIAL_INTERRUPT_LOW is not set
+CONFIG_MAX_PCI_DEVS=8
+# CONFIG_BOOTLOADER_KEXEC is not set
+CONFIG_BOOTLOADER_GRUB=y
+
+#
+# Serial Ports
+#
+
+#
+# Timer Configuration
+#
+CONFIG_HPET_TIMER=y
+
+#
+# Interrupt Controller Configuration
+#
+CONFIG_IOAPIC=y
+# CONFIG_LOAPIC is not set
+
+#
+# Debugging Options
+#
+# CONFIG_STDOUT_CONSOLE is not set
+# CONFIG_ASSERT is not set
+
+#
+# System Monitoring Options
+#
+
+#
+# Compile and Link Features
+#
+CONFIG_COMPILER_OPT=""
+CONFIG_SECTION_GARBAGE_COLLECTION=y
+CONFIG_DRV_CONSOLE=y
+CONFIG_DRV_SERIAL=y
+CONFIG_DRV_NS16550=y
+# CONFIG_DRV_K20_UART is not set
+# CONFIG_DRV_STELLARIS_UART is not set
+# CONFIG_DRV_TIMER is not set
+# CONFIG_DRV_INTCTL is not set
+# CONFIG_DRV_PCI is not set
+# CONFIG_DRV_RANDOM is not set
+# CONFIG_EXPERIMENTAL is not set
diff --git a/arch/x86/defconfig b/arch/x86/defconfig
new file mode 100644
index 00000000000..d00141ad570
--- /dev/null
+++ b/arch/x86/defconfig
@@ -0,0 +1,185 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Tiny Mountain Build Options
+#
+# CONFIG_NANOKERNEL is not set
+CONFIG_MICROKERNEL=y
+
+#
+# General Kernel Options
+#
+CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
+CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=150000000
+# CONFIG_XIP is not set
+CONFIG_ENHANCED_SECURITY=y
+
+#
+# Security Options
+#
+# CONFIG_CUSTOM_SECURITY is not set
+# CONFIG_STACK_CANARIES is not set
+
+#
+# Nanokernel Options
+#
+CONFIG_KERNEL_DIR="ukernel"
+# CONFIG_BOOT_BANNER is not set
+CONFIG_MAIN_STACK_SIZE=1024
+CONFIG_ISR_STACK_SIZE=2048
+
+#
+# Microkernel Options
+#
+
+#
+# Core Microkernel Options
+#
+CONFIG_COMMAND_PACKET=y
+CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024
+CONFIG_MICROKERNEL_SERVER_PRIORITY=0
+CONFIG_PRIORITY_CEILING=0
+CONFIG_COMMAND_STACK_SIZE=64
+CONFIG_NUM_COMMAND_PACKETS=16
+CONFIG_NUM_TIMER_PACKETS=10
+CONFIG_API_MEMMAP=y
+CONFIG_API_MEMPOOL=y
+CONFIG_API_TASKIRQ=y
+CONFIG_MAX_NUM_TASK_IRQS=0
+CONFIG_API_DONOTHING=y
+CONFIG_API_OFFLD2FIBER=y
+CONFIG_API_EVENTS=y
+CONFIG_API_MAILBOX=y
+CONFIG_API_MUTEX=y
+CONFIG_API_FIFO=y
+CONFIG_API_SEMAPHORES=y
+CONFIG_API_TIMER=y
+
+#
+# Timer API Options
+#
+CONFIG_TIMESLICING=y
+CONFIG_TIMESLICE_SIZE=0
+CONFIG_TIMESLICE_PRIORITY=0
+CONFIG_API_CHANNEL=y
+# CONFIG_TASK_MONITOR is not set
+# CONFIG_ADVANCED_POWER_MANAGEMENT is not set
+CONFIG_PRINTK=y
+
+#
+# x86 Core Options
+#
+# CONFIG_NO_ISRS is not set
+
+#
+# Memory Layout Options
+#
+CONFIG_IDT_NUM_VECTORS=256
+CONFIG_NUM_GDT_SPARE_ENTRIES=0
+CONFIG_PHYS_LOAD_ADDR=0x00100000
+
+#
+# Board Capabilities
+#
+# CONFIG_BOI_HANDLER_SUPPORTED is not set
+CONFIG_EOI_HANDLER_SUPPORTED=y
+# CONFIG_UNALIGNED_WRITE_UNSUPPORTED is not set
+# CONFIG_LOCK_INSTRUCTION_UNSUPPORTED is not set
+
+#
+# Floating Point Options
+#
+
+#
+# BSP General Configuration
+#
+CONFIG_BSP_ATOM_N28XX=y
+# CONFIG_BSP_PCMINUTEIA is not set
+# CONFIG_BSP_PCPENTIUM4 is not set
+# CONFIG_BSP_QUARK is not set
+CONFIG_BSP_GENERIC_PC=y
+
+#
+# Intel Processor
+#
+# CONFIG_CPU_MINUTEIA is not set
+CONFIG_CPU_PENTIUM4=y
+# CONFIG_CPU_MIGHT_SUPPORT_CLFLUSH is not set
+
+#
+# Specific CPU Capability Support
+#
+CONFIG_ISA_IA32=y
+CONFIG_HARDWARE_BP_SUPPORTED=y
+# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
+# CONFIG_CMOV_UNSUPPORTED is not set
+# CONFIG_CPU_FLOAT_UNSUPPORTED is not set
+# CONFIG_CPU_SSE_UNSUPPORTED is not set
+CONFIG_CACHE_LINE_SIZE=64
+
+#
+# Specific BSP Capability Support
+#
+# CONFIG_DYNAMIC_INT_STUBS is not set
+# CONFIG_PROT_MODE_SWITCH_PROMPT is not set
+# CONFIG_ADVANCED_IDLE_SUPPORTED is not set
+
+#
+# Boot Sequence Options
+#
+CONFIG_BOOTLOADER_UNKNOWN=y
+# CONFIG_PIC is not set
+CONFIG_SHUTOFF_PIC=y
+
+#
+# Floating Point Options
+#
+# CONFIG_FLOAT is not set
+CONFIG_CUSTOM_RANDOM_GENERATOR=y
+CONFIG_BSP_DIR="generic_pc"
+CONFIG_LOAPIC_TIMER_FREQ=150000000
+
+#
+# Serial Ports
+#
+CONFIG_EXTRA_SERIAL_PORT=y
+CONFIG_SERIAL_INTERRUPT_LEVEL=y
+# CONFIG_SERIAL_INTERRUPT_LOW is not set
+
+#
+# Timer Configuration
+#
+# CONFIG_HPET_TIMER is not set
+CONFIG_LOAPIC_TIMER=y
+
+#
+# Interrupt Controller Configuration
+#
+CONFIG_IOAPIC=y
+CONFIG_LOAPIC=y
+
+#
+# Debugging Options
+#
+# CONFIG_STDOUT_CONSOLE is not set
+# CONFIG_ASSERT is not set
+
+#
+# System Monitoring Options
+#
+
+#
+# Compile and Link Features
+#
+CONFIG_COMPILER_OPT=""
+CONFIG_SECTION_GARBAGE_COLLECTION=y
+CONFIG_DRV_CONSOLE=y
+CONFIG_DRV_SERIAL=y
+CONFIG_DRV_NS16550=y
+# CONFIG_DRV_K20_UART is not set
+# CONFIG_DRV_STELLARIS_UART is not set
+CONFIG_DRV_TIMER=y
+# CONFIG_PIT is not set
+CONFIG_DRV_INTCTL=y
+# CONFIG_DRV_PCI is not set
+# CONFIG_DRV_RANDOM is not set
+# CONFIG_EXPERIMENTAL is not set